Yes, Mike Christensen. He sells some high-end chips from time to time. He's legit.
A recent post from him -- http://www.thechipboard.com/index.cgi/md/read/id/1284464/sbj/super-rare-vegas-chips-listed/