no, i havent done anything to the car, so i have to assume it has the 3.8 pulley. I have an 86 Grand National that I sink all the extra money into.
I do however have a friend in brooksville that has done ALOT to his, shift kit, 3.125 pulley, alcohol injection, full exhaust and programmer. That car hauls major ass. Other than the pulley and alky the shift kit was by far the best money he spent.

hth