Many of the obsolete chips which were not sold in bulk, according to Puerto Rico casino historian, Miguel Carlo... were dumped in the Puerto Rico Trench; one of the deepist bodies of water in the world... as so documented in Miguel's pricelists in the 1980's.