Pilsstube Royal is a pub.