As previously mentioned, that was done with a development kit. I would gladly do that for you were it not for the fact that I don't run a game development company.
EDIT: I found a good deal on a dev kit, and I've got all of the software required to use it except for the XDK software, which I can get easily anyways.
I'm hoping that I can afford and buy a dev kit within a month or so.