Cool! for what it’s worth, my post from 2018 is here and has a little more detail on spots skimmed over above and some other bonus info. I think the only thing really out of date is that the Maharaja restaurant is closed permanently. Have fun!
Edit: I just re-read my old post, and I guess all I did on that vacation was read, walk on the beach and watch international soccer. Plus ça change, plus c’est la même chose!
