I recently bought a hilti te 40 avr for mining. I knew if it was used it was probably neglected. I got it and opened it up and sure enough the oil was jet black and looked to be really low. Could anyone tell me the amount of oil required in this model. I also saw in this forum that aw 46 Hydraulic fluid was acceptable for the gear box. Help would be much appreciated.