Anyone install a smaller pulley yet for their Redline supercharger? I was thinking about getting one. Any ideas?