I can’t say for certain cause I don’t have a torque wrench, but I have gotten that thing fairly tight from what I can tell. I would “assume” the shop would have torqued it correctly when they replaced it, but that pulley only lasted 3 hours before it stripped out again.