not much of a heist when there's so few, that the owners and whereabouts of the coins are known, so if someone did steal these coins, they couldn't sell them or auction them, etc, otherwise immediately become under investigation for theft or receiving stolen property... either case, the coins would be confiscated.