What kind of lubricant grease I can use for Walkman plastic parts? Walkman originally uses white color lubricant grease, what brand has the similar thing? Thank you