Just to point out also that, unlike other services, the Armed services do not get paid overtime if anyone was worried about them costing the taxpayer extra by getting double pay on a Bank Holiday.
I wouldn't have been in the slightest bit worried even if they did get paid overtime. In fact, I'm not at all worried about the over all cost of the everything because, as I pointed out earlier, most of it will return to the Treasury by way of taxation. It hasn't been poured into a big black hole.
In fact, it may well have contributed to keeping many companies afloat with all the extra business it has generated for them.