I wouldn't pay a shop to do a pulley. If you cant find a how to, get yourself a service manual and a big breaker bar. I haven't done one in this car but my experience with the crank bolt is its generally on tight
You'll also want to know the torque spec for putting it back on and the path for the belt.