I'm going to remove the smog pump eventually. I'll be keeping the factory AC (still blows nice and cold). I've been reading and understand I'll need an 84.5" belt after the smog pump is removed. To expand, under-drive pulleys might be in the mix too. Will that affect the belt length? I see the vendors offering them and they don't mention the need for a different belt. I figure that since the crank pulley is smaller, and the alt and water pump pulleys are larger, the belt length from a typical pulley swap basically stays the same? Is this correct?