Arriving on a Friday evening, we hit this when it was pretty crowded. We’d been travelling all day and wanted food, so we were permitted to sit down at a table, that was nice. Then we stood up when we saw that pub grub would be 15-20e per head. Beers were just as bad. I think it was 7e for a small beer. Selection was pretty OK, it was trivial to find 3 ticks from 3 different countries on tap. Probably a nicer environment when it’s not so full, but that’s not the place’s fault. Staff were adequate, certainly, but quite rushed it seems.