Just FYI, for those that like to collect info on chip manufacturers and distributors --
Eurocoin is the European distributor for Chipco chips & plaques. (They also sell other gaming supplies, such as slot machines, tokens, tables, etc.

Their webpage is at:
http://www.eurocoin.co.uk/pages/chips.htm