Is it called Cookes of Dublin or something like that? I haven't seen a menu and we're trying to decide between getting an ADR at Ragland or just keeping it casual and dining outside at the counterservice. Any opinions? Anyone have the menu/pricing?