I can only go by the chipco record extracts I was given which indicated that they went (via Eurocoin) to Asia Cruise Entertainments (ACE)
