Thanks, Trickster10! Yes, very useful. We're only spending a few days in Croatia; we'll stop by Dubrovnik but won't stay overnight as it'll be infested with tourists in July. We had actually booked Hotel Dubrovnik a few weeks ago, but decided to spend a few more days at Aman Sveti Stefan instead. We'll check out Dubrovnik, Hvar, Zagreb and Plitvice Lakes at some other time when it's not peak season.

We have booked a room at Hotel Vestibul Palace (a luxury suite in the main building, and not the annex); it seems like a very charming property in an unbeatable location.

After Split, we'll be heading over to Sarajevo. I've tentatively booked a suite at the Hotel Bristol there.