I've been researching this as I've overfilled with diesel twice this season :disgust: making everything (including the cushions) stink. I'll be going for a full toilet duck clean I think, but some of the US forums suggest an Ozone generator which apparently clears the smells from anything but you have to be very careful with them and their use. It's not for me, but it might be worth a google....