The local shop replaced the belts and didn't find anything else wrong. They put some coolant in.

I bought new Gates belts using Dennis's part numbers as spares.

So I'll be back on the road right away. Hoping for the best.

Thanks, all.