Trojan horse has some belt size charts, I went and looked but didn't see a number. You can get one of them floppy sewing measure tapes at walmart for like a buck, at 20ish bucks a belt you will wanna get it right the first time lol, you can bypass and take all the other smog crap off, that is the sucky part though, choosing belts afterwords. I have no rubbing issues neither. I run underdrive pulleys and also threw on a sn95 alternator that had a bigger pulley.
having a fine car that is slow is like having a hot girlfriend that won't put out!