I ended up getting it out this afternoon. What a prick of a job.
Removed the m/c bracket, and pulled the booster back. That allowed me just enough room to get a 3/4" ratchet, 13mm bolt and uni joint in there.
The other bolt, I pushed the fuel lines out of the way and used a 500 mm 1/2 inch extension and 13 mm socket.
Back in the car I had to undo both bolts holding the steering column up. That allowed me to push down the aircon duct just enough to get a 13 mm socket on an extension, onto the bolt holding the pedal box to the steering column. Once I undid that, the whole column dropped a bit then I could pull out the aircon duct. After that I was home free.
Only complication was the alarm installer routed the cables through one of the pedal box holes, so had to cut them. Gotta remember to rejoin them later.
All in all, an unpleasant job. I'm sort of worried about potential electrical issues, a lot of wires went under tension when the column dropped!
