Well, if anybody’s happy it’s the people who just sold the domain name porn.com…for $9.5 million in cash. This makes it the largest domain sale for all-cash in history. Check out DomainNameWire.com for all the gory details. Scott is inconsolable, although later on he’ll probably just funnel that money into a theme park like he had originally planned to do.