The grease above may be good I cannot tell. One thing - it must be safe for plastic, otherwise oils in it will destroy very old, brittle, and unobtainable plastic and rubber in your player. Use grease safe for plastic, the same manufacturers use for gears in printers, scanners etc.