Mike, games would typically be developed without the game loader- you can reload that easily, since it's just an Arduino program.
Unfortunately we don't have good documentation up yet since we've been focused on shipping hardware- but if you check out the game pages on our website, they have a link to the source code for the available games.
We definitely want to have a guide shortly to get people started.