So, I just bought a Tekton T40 socket (6" long), PN SHB14440 . It says 6" long but the usable portion is only 5" long as shown. It is about $6-$10 online (eBay etc.). In a perfect world, remove the 4 bolts on PS Pump and set it aside, but some may not have the serpentine belt Torx too...