ok, maybe i'm wrong...

"Any accessory pulleys and belts of the same type (e.g., V-belt, serpentine) as standard may be used. This allowance applies to accessory pulleys only (e.g., alternator, water pump, power steering pump, and crankshaft drive pulleys). It does not allow replacement, modification, or substitution of pulleys, cogs, gears, or belts which are part of cam, layshaft, or ignition drive or timing systems, etc. Supercharged cars are excluded from this allowance. This does not permit replacement of integral pulley-dampener/balancer assemblies. "

i guess as long as you don't change the "type" of pulley. i dunno how many types a pulley can be, lol.