I have a chipper friend who is seeking information on a $1 mustard large key chip with black hot stamp from El Panama Casino from about 40 years ago. Sorry, no scan available

Any idea as to value or scarcity? Anyone have one, or similar denominations from this casino?