There used to be an Aladin's Kingdom, which used to be the best and the most favorite spot for the kids and adults alike, the roller coaster being the ultimate entertainment! But now, that's all gone, and other hotels and ventures have been built up in its place. The mini cafeterias in there used to serve some good hot snack to savor too. Miss that place very much!