Ja, aber gleiche DOT von verschiedenen Herstellern sind untereinander austausch- und mischbar, das meinte ich.