Anyone know whether it is possible/cost effective to have small dents repaired on my caravan. There must be around 20 small dents on the outside from awning poles/accidents etc none any bigger than a penny and not deep maybe 3mm. Caravan is 10 years old so don't want to spend loads but would like to tidy it up