gear oil.

Red Line is a brand name of oil.. It is a good oil.