Now of course the Mint could be printing Euros for Greece.
Or is it printing drachmas, just in case?
No. The Royal Mint is a mint. It produces coins.
You do not print coins. You mint, perhaps strike, even cast them.
You print banknotes. The Royal Mint does not print banknotes.
The place to look for contracts to print new drachmae is in the accounts of De La Rue……