All you need to know is the shorter belt length, and most auto part stores will have it. Not sure exactly what it is because I haven't got one yet. Do a search on it and see if you can find it.
im using an 80.5 ...i think.....i just have belt routed off the a/c and smog...im not very good on the sotp feeling but i bet i gained a good amount of hp