I've got a bit of a problem installing the solenoid. I think that's what it is. Either way, I tried to remove the three torx head bolts that hold it on, and one of them stripped. I thought these were supposed to be torqed in inch/lbs. Any ideas on how to remove it without taking the pump off the truck? It's the bottom driverside bolt, so it's not very easy to access.