Regarding the Hotpoint WMA range, back in June 2001 I ordered direct from GDA the service manual which at that time covered WMA 30 TO 33 but is applicable to later models also.
The part number at that time for the manual was 5405000 and cost about £14, dont know if it is still available in printed form or not.