Was that guys pager printing out bits of paper?
I don't remember seeing those. I'd never heard of that.