I have 2 choices. The Lucky Star serves chinese. And, Nando's is a portuguese restaurant. Which do you prefer?
I was goona ask to search for international, but it sounds like their isnt an option with a cheap price. Lets go with Nando's
hotel-area hotel-internet hotel-name hotel-pricerange restaurant-area restaurant-name restaurant-pricerange
hotel-area hotel-internet hotel-name hotel-pricerange restaurant-area restaurant-name restaurant-pricerange
hotel-area hotel-internet hotel-name hotel-pricerange restaurant-area restaurant-food restaurant-name restaurant-pricerange
hotel-area hotel-internet hotel-name hotel-pricerange restaurant-area restaurant-name restaurant-pricerange