Kennt jemand ein gutes Schmiermittel für Kunststoffgetriebe?

Bei einem Roboterbausatz, den ich mir vor einigen Jahren gekauft habe, lag eine kleine Tube mit einem Schmiermittel bei. Leider finde ich die Tube nicht mehr und weiß auch nicht, um was es sich dabei gehandelt hat. Bild