Yes, saw him a few days ago
Don't buy from the mint, unless you want to spend £30-£50 on some cardboard packaging. The bullion houses such as Chards, Coininvestdirect, Bairds, should have new Royal Mint coins a lot cheaper then the Mint - they buy in bulk at wholesale rates, and their retail markup is much slimmer.