Machine shops actually used whale oil until quite late. Much better than equivalent petroleum products until the '50s or later.