Don, I've heard of these being called 'replacement tokens'. I believe the term was coined (so to speak) because they were made to replace real dollars when casinos began phasing them out.