What Oil to Put in a Hilti TE 700 AVR