downloading games for an Arduino-based tabletop game platform: 2 options

We're facing a major decision about a game platform we're building and looking for feedback from the Arduino community.

See here for a breakdown of the problem.

Thoughts?

Also, note we're hiring. See the link above for that too.