Can I use the stock belt for a 3.5" pulley? If not where can I find one. Oh and how much does the guy here sell the pulley pullers for?