Trying to order a replacement pulley for the belt tensioner (N/A) and I just want to make sure I don't order by mistake. Is the tensioner pulley the same as the supercharger pulley. It would appear from rockauto.com, but I want to be sure, are they the same pulley, dimensions, etc, thanks.