*Rant* As a previous shop owner, if a tech came to me with this I'd offer to repair his box in the manner this owner is doing (body shop). Plus I'd fix the drain. If the tech has issues with this and made a huge deal of it, he'd go walking. Then I'd let the other techs know that I would be willing to do the same repair again should something similar happen in the future for whatever reason. I'd also strongly suggest that folks not fill the shop with these overpriced shop ornaments.
Look, I like a nice box too. But I quickly got tired of having to be so careful around folks with these designer boxes. It's like parking your Porsche in the middle of a busy work bay, filled with lots of rusty, sharp, and heavy objects. Something is bound to happen. I know I'll catch hell for this, but it's my opinion.
Sh!t happens. Straighten, paint, move on. Plus, the box is only worth it's resale value, not replacement.