Paul Allen is well known to have one of the largest super-yachts in the world. I'm not sure Ballmer even has one.