They're off. Both of them. It was a combination of PB Blaster, heat, and some hammering of the puller with an old hammer handle that did it. Wow! Those cranks were not coming off without some serious torque. Don't know what torque was used to tighten the crank bolts, but I'm guessing it was a lot higher than the spec calls for. Probably some "mechanic" tightening them by "feel" instead of using a torque wrench.

Thanks to everyone for the suggestions. Hopefully the BB won't be quite so hard to remove. A Campy BB for a Comp triple crank is going in it's place - once the frame is back from some paintwork.