OK guys, I'm going to put you all out of your misery.
I'll take the scope and the toys that come with it. Eurofox, please PM me your details.
I have a job coming up for which the active probe and GHz bandwidth will be extremely useful, and it's not the first such job I've had over the past few months. I don't think I've ever regretted buying decent gear, and this should keep me going for a good few years to come.
I already have an MSO-X3054A in immaculate condition with all options enabled. It may be up for sale, or I may hang on to it as a backup or field scope. Not decided yet. Open to offers.