I own a 2019 5.7 V8 Bighorn 4x4 Crew Cab 5'7" bed. Last week I took the truck on a back road to take a look at some potential property to buy. when driving I happened to hit a rock and the rock destroyed my transmission oil pan, the wifi box and the Exhaust Pipe and Converted. The dealership near me finally got a chance to look at it today, apparently, it needs an entirely new exhaust pipe and converter which will cost upwards of 4k. Is there any aftermarket alternative that anyone knows about? Or is there somewhere I can buy a used one, or can an exhaust shop just repair it? Any insight would be incredibly helpful! Thank You!