$LVS has the sell of the Vegas properties been completed yet? If so what are you guys thinking they would spend some of their 6 Billion on?