Can you please advise on the correct oil to refill the gearbox of a Bosch GBH2SR hammer drill after repair?