I just picked up a used Bosch demlition hammer (one size down from the Brute) and noticed the grease was leaking from the nose piece...got the replacement O-rings and am ready to replace them. What type of grease should I use inside the nose of the hammer ?? The stuff that was in there looked to be the original factory grease and was all dry and crusty...it looked like it was purple grease ? Can anyone tell me if there is a certain type of grease that is used in these hammers...thanks

artie in miami