Yes that's the right machine. Can you read japanese? If not I would actually go for the reseller option instead. But if you want to give it a try read this tutorial.
http://www.tokyogigguide.com/tickets
Don't worry. The tickets wont be out for sale yet. Not only about December I think. No information is out either so you'll just have to wait.