@kwf The 5 pence coin is worth 7 cents, so you've made a bit of money there! Assuming you didn't pay 10 cents for it...