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.