hmmm 
Als ich im Dezember 2008 dort war, war in allen Buffett Restaurants komplett Rauchverbot (auch im Cathedral) (was ich übrigens gut finde). 2006 war das noch anders gewesen...
In ein paar Mittagsrestaurants kann man draußen sitzen - sprich auch rauchen.
Ein Ipod-Abspielgerät hatte ich auch auf dem Zimmer (70**), das war super!
)