It went for $2000 plus 15% (debit) or 18% (Credit Card) buyers fee plus tax. So $2600 out the door if you paid with debit. I had my eye on it, but once it went over $1000 I backed off. It was the first time I saw pins and chexx for sale, so I was excited, but came away with nothing, really wanted AC/DC pin, but went for more than I wanted to spend on it.
Auctions can be exciting! Sometimes bidders get OVERLY excited and let their emotions take over, which obviously did not happen in your case, since you had a set amount in mind - and that's a good thing!
I remember going to an Empire auction in MTL and bidding on items because of the level of energy in that room! I thought at that moment that I had to get those items regardless of the cost, lol. I still have a signed STTNG framed photo I never really wanted!! Darn paddle should have stayed down! Hahaha
Anyhow, if I see a Chexx or Super Chexx somewhere at a decent price and not missing anything, I'll PM you! You actually took part in this auction, you deserve to get that game first!