See here, I already told him what it booked at
http://www.thechipboard.com/index.cgi/page/1/md/read/id/1230492/sbj/are-there-a-market-for-these/

To be fair, his looked decent and should sell for $20. They are the small key, not the more common large key.