Thanks!
We went with the Grand Hotel. Trouble finding good rates as we are going this week (last minute business trip combined with tourism). We are "stuck" in a duplex room (nothing else available), hoping it will be worth the cost!