What oil does the mine mill use