I know one he doesn't know. In fact, the only person I've shared it with was the punmeister himself, Spider Robinson. He paid it the compliment of calling "the first original pun" he'd heard in a very long time.

Ha!