Sorry to hear that -
Mine wasn't as bad as you two but a couple weeks ago I was in the parking garage of the building next door to mine. It was the first time I'd been in there with my rig. As I was leaving I was going down the ramp from one level to the next and about took the top of my truck off with huge overhead water pipe. It scratched the crap out of it but luckily didn't dent it. I may go back and measure it because I don't believe it is as tall as the advertised hight at the entrance to the parking garage.