Anyone know what they are going to do for Biergarten? Looks like it'll be open, and I was thinking about heading there for Sept trip. I'm assuming it'll be family style instead of buffet with no table sharing between groups? Anyone know for sure?