A special wrench for getting the last vacuum pump nut off an aircraft engine