I've been running the OMNIROM (from an unofficial build mid-May) on my 5113 for several weeks. I moved away from the stock ROM due to instability issues (reboots, lots of "stopped" messages) after the 4.2.2 Samsung software got pushed to it automatically. The thing was basically unusable.
Omnirom has been great, with two caveats: 1, the hardware keyboard is on by default, and needs to be switched off each reboot [fixed in later build, this was accidentally reintroduced around the time I flashed], and 2, the thing turns itself off frequently, as in overnight. Drives my kid nuts.
Anyway, I'm tempted to reflash with the latest omnirom from the stable builds folder, but wondering if there is anything better out there that would be even better suited for a kid to use, mostly for gaming (Pocket Minecraft, Angry birds, Lego games...). I'm looking for stability over all else, as long as things like the camera and wifi work.
Thanks in advance for your recommendations.