Traveling end of May to Cartagena. I was wondering if anyone knows about the Holiday Inn express Bocagrande. I have read the Hampton by Hilton is cool especially since the lobby is upstairs. However...