Tools

Useful bits for running and playing games.