Staying at the Ramada Bintang - does anyone have any good information on places to eat, tailors, what prices are like at the moment. I am also interested in any information on Festival Park. Has anyone heard about the "Sea Lion" or the "Kura Kura" restaurants.