No joke.
It’s the standard version, and I’m selling it unopened for $500. I’ll also throw in a wireless controller and an extra battery pack for that controller so it won’t run out of juice.
Just email me (justinpgardner at yahoo dot com) and we’ll talk.
By “Standard” I presume you mean “Core”?
Why not just join the eBay mania? Or has it burned out? I haven’t checked recently.