What to do in the army if you get bored?