Thanks for the reminder. Had spotted but forgot again of course.
(Last time I was there they were singing across the room rather than from the end which is bad acoustics and gives the singer an echo. I'd recommend singing from the far end if you can).