Yeah...that's kind of what I thought. He can get away with a lot less sleep than I can, though...and there's always those bits of time at work when something's compiling and there's not much he can do for five minutes...

Even if he didn't make it to 50,000, I think just _writing_ the stuff in his head would be a Good Thing.