Old £1.00 coins – a reminder