Citricos Lounge?

[gracielou]

DH and I love Mizner's and were sad to learn it was being used as a replacement for Gasparilla Grill instead of a lounge when we were there last October. However when we were directed over to the Citricos lobby, which had been set up as a lounge, we were hooked and spent many more evenings there! Does anyone know if this was just temporary while Mizner's was being used in another capacity or if the Citricos lobby is always used as a lounge?