Say what you will about Peter Thiel, he does have a sense of humor.