I just finished installing the 4" underdrive pulley that forum member Jaay sells, and I documented the process in varying degrees of detail to help anyone else out who's considering this mod.
Tools required:
Jaay's 4" pulley and belt
10mm socket and driver
24mm shallow socket
Breaker bar for above
Grinder, dremel, or hack saw
Porsche crank pulley removal tool (or see below)
Various common hand tools
Highly recommended: A pair of mechanic's gloves
Remove your rear subwoofer or whatever other accessory you might have on the rear shelf so you can get the carpet kit out of the way. Slide both seats all the way forward.
Remove the four plastic anchors so you can move the firewall carpet/insulation panel.
You will see the engine cover.
Remove the 10mm bolts and the two 10mm nuts around the perimeter of the cover.
Once you remove the panel, you will see the pulley to be replaced with the underdrive version - it's the pulley below the belt tensioner.