Hi,
and thanks for your suggestions.
It was the second possibility - isn't it always the expensive one. Ended up getting Hotpoint to fix it for an extortionate fee, but they do guarantee the whole machine for a year now too, and will apparently give me a new one if they can't fix mine...