It's a genuinely scarce promotional chip and pretty old, but that must be a record for it. I seem to recall something under $1000 the last time one came up.