Yes, they were the NamesCon Live auctions. But those aren't the ending prices. For some reason they disabled the auction pages when the domain went to the Live Auction. They should have done something to forward the page to the auction so people could bid and not think the auction was over.
christmas.net ended at $8000. Not sure about gaming.net.