Good point Jeff. You can get the Aladdin for about $800 million or less so why spend 6 times as much?
