I understand synthetic oil is nearly as good as whale oil for lubricating. I also understand that whale oil is still used in space craft and F1 race cars because it’s still the absolute best for the purpose.