I’ve written down 9.00 beside this one, so I think it was a short play that they ran twice an evening. Looks as though we ate beforehand (Harry’s I’d suggest) and I vaguely rememb…