Hey guys, So I just bought my GPGT and of course it has the L32 engine. I was just seeing what the stock pulley size is for the l32. Is it 3.8 just like the L67s? My car has a different belt, and the pulley almost looks on the small size to me. Also, I can push the supercharger belt down pretty easy, how much play does the tensioner have?