I think that "cleaning detergent" is supposedly called polyetheramine... and I also believe all of Malaysian petrol stations have them, it's just that they all have their specific amount of additive blend. Anyway, as you say, consumers can decide whatever they want to pour in!