I have five of these keys from the Rio when I stayed there a few years ago. The hotel had switched to the more common card keys the last time I stayed there, about a year ago.

They're $3 each delivered. Please e-mail me directly if interested.

Thanks.