That's the best bet really.

The garage would of done what the paying customer would of wanted. If you are paying and want it to come out the bonnet then that's what they will do.

Personally I would of had it made to fit a standard cat for when required but you never know.

Sorry I ain't been much help.