start with the cheap stuff first. mine went out and there is a leak but the hose is expensive so i just replaced the coolant and two years later still works fine. if there is not visible damage to the belt well.....

the best thing is to start small and inexpensive and then work your way up from there if you need to.

like what was said above a second professional opinion is good to.

Good luck.

Tim