Got it fixed. It was easy to remove the pump with the pulley shaft bent, I could rotate it around and get at all the bolts with a 10 mm six sided socket on a 1/2 in breaker bar.
Only screw up was having the Ford dealership put on the pulley (they were nice enought to do that for free) without the bolts in the holes. Had to make a return trip, have them remove the pulley, put the bolts in, then reinstall the pulley. I suppose this would be obvious to anyone changing one without a bent shaft, but it wasn't to me since I could remove the bolts with the pulley on since the shaft was bent. Anyway, the dealership didn't charge me either time. Morrie's Minnetonka Ford in Minnetonka, MN - they really took care of me (after I spent $290 on a new pump)
I've seen some threads on here saying the bolts are 9.8mm - seemed like a 10mm to me. A good quality six sided closed end wrench should get them off....