Bit naughty me thinks considering a lot of their customers were English. I know they give a lot for charity but same price for all please.
More than a "bit naughty", its tantamount to stealing.
Mind you, there was one occasion where we got the wrong menus and to be honest we didn't mind. It was in Cuba a few years ago and instead of the tourist menu, priced in CUC's, we got the local menu priced in Cuban pesos. Tourist prices were, on average, twenty times more expensive than local prices - given that even at tourist prices our meal cost about £2 and local wages at that time were about $20 a month, we really weren't that bothered.
But the Mulberry Tree, shame on you...
JF