A 1/4" is pretty small dent. Have you considered a dent puller? I have a small suction cup type dent puller that I bought over a year ago but for a similar size dent on my leading edge. Sorry but haven't used it yet but it makes more sense to me if I can avoid a patch and paint. Bought it off bangood.com.

Some dents will pop back out if you warm them up with a hot air gun then shock it cold from a upside down can of canned air.

Hope this can help.