Decks Restaurant, Lido Fish Restaurant, Lido Self-Service Restaurant, Pagoda Restaurant, The House Restaurant