Lekker gegeten en thee gedronken met vriendelijk behulpzaam personeel waar we nooit lang op hoefde te wachten.