2-ton I never use WD-40 cause you can't control the spray,too expensive,and marvel is better anyway. Use marvel on fine tools,my mics have been in the family for 70 years,still fine.