If you can change the belts or have a local dealer do it for a fair price you could well be right.
@uberwaltz
I have the service manual. It doesn’t look too tough. The biggest thing, as I understand, is getting high quality or OEM belts. There is a company I’ve bookmarked that has the ‘real deal’ for sale. Not cheap, but in my opinion, the only way to go.
At my age, I’m getting to the point of letting other more experienced folks do stuff like this, even at a cost. Plus, they may be able to look at other settings or alignments that need taken care of, and which I have no clue, while ‘under the hood’. There was a time I would tackle almost anything, but if it’s only $50 or so so let an expert do it, why not? Heck, that’s how I stay in business vs folks who think they can do it themselves ;-) I always tell them, ‘well, good luck’.