Ölwechsel bei Hilti TE17

Ich habe eine alte Hilti TE17 geerbt. Gemäß Bedienungsanleitung soll jährlich das Getriebeöl gewechselt werden (was aber sicher seit Jahren nicht mehr gemacht wurde). Nun steht aber in der BA nicht, wie das fuktioniert. Braucht man zum Entfernen der Abdeckung evtl. einen Spezialschlüssel?