RIP Sean. Happy memories of our Sunday lunches and garden parties. Thanks for your friendship and humour.