[reddog]

For perspective, it cost about $200 million to get your name on an America's Cup trophy. So as billionaire vanity projects go, this is pretty reasonable.