On Things to Do When Bored

1. Go to the pantry and grab something to drink and eat.
2. Go to the CR and splash face with water.
3. Do desk exercises/stretching.

If these 3 fail, get out and walk to the nearby establishments. :)