anyone have any experience with mobile auto dent repair, or something similar? My wife’s car has some hail damage and I took it to a local DFW auto collision repair shop and they quoted me $6,200 to fix the minor hail damage. No way I’m paying that, and I would really prefer not to file an insurance claim if I don’t have to, but that may be the best option. Anyone have any experience with this? Recommendations of places to call? TIA