I knew they sold pinball machines in the USA. I asked Costco years ago when they first opened up if they would be selling them, at the time they said that had no plans to. Good to see another option out there to buy a NIB machine.
Costco will sell one-off lots of goods which manufacturers or other retailers can not sell. They will flog them for a reasonable price and once they are gone, you may not see that brand or model again at their stores. AMD probably got stuck with X-Men.