Has this lounge always had a paid menu or is that new since covid reopening? I don't recall there being one on my pre covid visits, but perhaps I never noticed as I always grazed off the buffet.