[tei-council] Lunch at meeting

Do we want to eat lunch at the hotel restaurant on Sunday the 25th? We’ll be having lunch brought in on Monday, because apparently finding nearby food is slightly complex. I’m inclined to say lunch out, but maybe have them provide coffee in the morning/afternoon.