The lobby in The Henderson in Destin, Florida