I decided that it was worth replacing the brushes, and after a lot of searching (not all spares sites are easy to us) I got through to AEG/Electrolux spares department and ordered a new set (�16 per brush and you need 2 !). Today I'll fit them, using the approach taken in the companion blog on replacing bearings.
Update
All went well. I :
1) disconnected the washing machine from the electricity, water & waste
2) emptied any water from inside via the filter hatch (lower front left hand side)
3) Put some old towels on the floor and pushed the washing machine over on it's front
4) removed the 5 screws holding the back panel on
5) removed the electrical connections to the motor (1 mains block and one earth spade connector)
6) loosened the 2 bolts holding the motor to the "spider" frame . Both 13mm.
7) Supported the motor with one hand , and removed the bolts with the other.
8) Took the motor out, removed the old brushes, held in with 2 Philips screws each
9) Cleaned the armature with some cotton wool buds and ethyl alcohol.
10) Fitted the new brushes. The old ones were completely worn away
11) Refitted the motor, used a metal bar to tension the motor against the drive belt while I tightened the bolts
12) Reconnected and tested
13) Worked Fine
Emoticon