Good to know that it’s not a giant pain, will have to source some OEM bits and tackle it over the weekend.I’ll tell you fixing the belt, pulley and tensioner was a pretty easy thing to do and if a shop did it I imagine not terribly expensive either. It’s just take bolts off and put new things on with the bolts. Not a peep from under the hood after I changed mine. -best