First heavy rain of the Autumn after a long, dry Summer, and half of it ends up in the workshop!
Not certain how I’m going stop that happening again for the moment. Ideally I guess I’d need to add a fairly high capacity drain in front of the doors, but that’s not going to happen right now.