Verdünnung würde ich nicht nehmen, kann agressiv sein und greift evt die Leitung an.
Ich würde lieber Waschbenzin(Baumarkt) nehmen oder wenn du ganz sicher gehen willst Isoprpylalkohol(Apotheke), das wird auch in den meisten Wartungsanleitungen zum Reinigen am Bike hergenommen.
Wenn du die Leitung damit durchgespült und ausgeblasen hast ist da nichts mehr an Mineralöl drinnen. Wenn doch ist das so minimal, dass es nichts mehr ausmachen sollte.
Was ich allerdings nicht weiß ist ob Mineralölleitungen für DOT geeignet sind, denn DOT ist recht agressiv.