Ja Sterillium ist sehr gut, da es den Minis nichts antut aber ist auch sehr teuer, online sparst du bis zu 5 Euro pro Liter (bleiben 8-10 je nach Anbieter.
Alternativ soll auch "Isopropanol" oder so gehen, das ist wohl fast reiner Alkohol. Ist günstiger aber Resin kann davon schon kaputt gehen, Erfahrungen anderer sind zudem nicht immer gut von der Entfärbung her.
Bei Zinn nehme ich Aceton aus dem Baumarkt.
Handschuhe und Zahnbürste nicht vergessen 🙂