I've used the stock pulley machined down. I only had the p/s portion removed. I'd recommend getting it balanced if you did that though. I ran mine for over two years with no problems.

I originally had mine shaved because the p/s portion was chipped. I wouldn't expect to see any real gains by doing this though but it is alot safer than running an aftermarket pulley.