Check out the Kitchen Timers!
Forget the pencil, they have 2 identical kitchen timers, but with different brand/logos on them :)
This is the one on the left, not sure about the one on the right...
http://www.amazon.com/CDN-PT1A-Digital-Timer-Clock-4-Event-Programmable/dp/B000095RCE/?tag=a56b2b-20&ie=UTF8
$18 on Amazon; hopefully they procured them that way, VS a $100K project...
I'm a huge supporter of NASA, but yeah, I do hope these timers didn't cost much :)