Truthfully, I don't know whether he used grease or oil, but as nice a kid as the mechanic was, this may also have been the first freewheel he ever saw and the bike is older than he is. I'll flush it with some kerosene tomorrow, blow it dry and oil it up.

Thanks for your help, folks,
Eric