Resorts World restaurants, nightclubs and pool clubs.