I said WD40 OR SOMETHING SIMILAR. When the jack's stuck, oil is similar enough. I've used it, too. But later you need to use a solvent to get the oil off or it gums up with dirt worse than ever.
“In a time of deceit telling the truth is a revolutionary act.” ― George Orwell
It's not over when you lose. It's over when you quit.
