Does anyone have any idea of the highest amount ever paid for a $2.50 chip? I would think the Jessie Beck's Riverside has to have approached or set a record.