I would take that back there and shove it up his ass man.
Took me five times to the shop before they finally decided to fix the problem right.
My belt squealed very loud, got it fixed came back, and happened a few times.
Finally last month they put on a new belt again and the problem is now gone.
I would have him check the belt/tensioner again.