Curious: does anyone use petroleum jelly (Vaselene) on their ABS extruder gears? Good? Bad?