HILTI TE 800 AVR. Also compatible with HILTI 1000 AVR_01 (First Generation only), TE 1500 AVR. Oil seals and gaskets wear out and you need to service your power tool by replacing them. Here you can find the genuine gasket set.
eBay