That site is blocked at work, so I'll have to look at it later.
I've poked around in game theory with respect to running a FIRST team. It was a fun thought experiment with
- Positive resources that had varying levels of diminishing returns (mentor time, funding, quantity of students, student engagement, experience)
- Negative resources with scalable impacts (mentor burnout, classroom grades, team dynamics complexity)
- Goals (reputation, college attendance rates, business success at competition, robot success at competition)
It would be pretty awesome to also incorporate a Robocraft-esque "build season" with 3v3 competitions of different games in FIRST's history. Short of that, even a card game would allow the mechanics to play out. A card game could even be deployed to the web for easier access.