Thanks for the welcome
I've not tried any other additives but I'm surprised that more people don't use Redex.
I was wondering how many people bother using flushing oils these days? Does anybody, or do we all rely on those super detergent properties that modern fuels and oils are claimed to have?