I did have these for sale in a large token collection a couple of years ago.
These are NOT in the same colors as those few that were given out to execs.
These are two of four other colors ordered but not distributed. Only a dozen or so of each are known.
This pair is not a 'new find' or from a hoard, I bought them back from someone in buying their collection recently.
These sold for up to $250 each in the past.

http://cgi.ebay.com/RARE-1-HARD-ROCK-LAS-VEGAS-ENAMELLED-TOKEN_W0QQitemZ120469456261
http://cgi.ebay.com/RARE-1-HARD-ROCK-LAS-VEGAS-ENAMELLED-TOKEN_W0QQitemZ170382891915
.