I think it was the BBK kit. I never asked honestly. (his headers and TB are BBK, so it's an educated guess - I can ask him next time he's home from college) However it really shouldn't matter. They both fit the same application right...
Without seeing the 4.6 P/S pulley I couldn't tell you, but I can take a pic of the stock Duratec P/S pulley (4 hole mount with center alinment dowel) and post it so you can print out something to match it up with...
If the 4.6L will work; at $120 that's a steal..
