I’m finding conflicting info on the steps to remove the vacuum pump and exchange the pulley. From what I’m seeing I have to pull the pulley first with the V belt set up. I use a rental power steering puller, unless it doesn’t fit—then buy the harbor freight kit. That sound right? Or can I get the whole deal out with a 10mm and then use the pulley tool? Working with a bus. Just need to know what order to work in, whether I’d rather put my chips on getting into a tough spot by a hardware store, auto shop, or church.