My air pump makes some odd noises when the car warms up and then quiet. Not sure if this is normal or not but I thought about bypassing it and running a shorter belt? Good idea or not? Does anyone know the belt to use if one bypasses the pump?