ISC Fan Clutch Replacement $4000+ ?

Hey all, We have a 2009 Fleetwood Excursion 40x with a cummins ISC engine. Yesterday afternoon, while driving down into Sedona on I-17, our serpentine belt snapped. As it snapped, it broke the wi...