First, the Casa Marina was once a Marriott. I have stayed there, then and recently and - while it's nice and historic and may have the best hotel-owned beach on the Key - I sure don't think of it as a five-star property. Four-star, yes. While I'm glad it's joining the Hilton family, I'm surprised that it's being branded as a Waldorf=Astoria.