I'm not sure that the dedicated dining area is full-time. When I was there yesterday morning, the signage was all put aside and the area was open to anyone to sit there. No sign of a-la-carte menus or wait staff. The lounge probably only had 15 or so guests in it, so I'm guessing WP dining may...