The door handle had cracked on my 9534 too, but they are dead easy to replace, and only about £2 I seem to remember.
Wish I had room for more machines. If the elusive Electrolux WD3000T ever appears I'm getting it if I have to go to the Shetlands for it!
Tom.