Page 16
4.2 Exchanging the ear plugs
4.2-1 If the ear plug has come loose, remove the plug
and clean the hole with a 7.9 mm drill without point .
4.2-2 Put a new ear plug into the mounting tool (span-
ner). Warm (do not burn) the side of the head e.g. with
a hair drier until it gets soft. Press the ear plug with the
tool. Remember to turn the ear plug into correct position
before fi tting.