[bbturbo]

The dealer is going to file this on their insurance as a workplace accident. They pay insurance for this too. I would be definitely going for more than just the repair on the truck. Just me though, I wouldn't want it back after something like this due to resale value. If you don't care, then just have them fix it and go about your day.