I realize that these two hotels are very different in price. Is the Alma Sevilla worth the difference? I was set on the Amadeus, but then I read some reviews complaining about the effectiveness of the air conditioning. Since we will be there in July, a.c. is a very important consideration. I also don't know if it will be too hot to take advantage of the terrace at the Amadeus, which people seem to rave about.