When you pull the pulley off the supercharger do you have to take off the vented bolt at the supercharger tip, and if you do, how does it come off?