Did you know that Puerto Rico (Porto Rico) never had their own coinage? Also, as of the last time I looked... there were no house slot tokens for any casino in Puerto Rico.
JB