Chip Help !

Apologies if slightly off topic, however the wife was cleaning our sons room out and she came across a £10,000 Grey chip that we think he got from playing at a Gala Casino.
Does anybody have any knowledge of gala chips and if indeed this could be a £10k chip ?
Clearly has 10,000 written on the front of it.