A useful portable timer.