The 10mm wrench in the tool kit works fine on the WP bolts. It's a good idea to replace the bolts when removing the fan after the car has been in the hands of POs for the past 20-25 years. Once the bolt heads are damaged, they can be a pain to remove...

__________________
Over 21 years I owned several:
w108
w110
w111
w115
w116
w123
w124
w126
w212