He already has the 41mm (1 5/8") socket in the pix, too it looks like.Guys with 24v cars-- u can buy these tools and do your own t belt change for parts cost only!! The only other "specialty" item needed is a 1 5/8 socket to turn the crank!! A 10 mm Snapon universal 1/4 drive socket helps a lot but not required.
And it's not a scary job either. It is straightforward , a bit fiddly but that's all. Many folks think it's some huge endeavor-- it's not!
So either buy the tools and DIY for a couple hundred bucks, or pay your mechanic 1500. For me the math is easy