welcome Malachy
We had this machine, bought in November 1979, it was £179 from the co op department store in Cardiff, back in the 70's inflation and interest rates were high and mum has told me how you didn't buy anything you didn't need, we had several years without a machine at all, so we were never going to get anything other than the most basic model that did the job. It was probably going to be either a hoover or hotpoint, and presumably this was the best buy at the time. And just like you, I frequently watched the entire cycle, 2, 5 and 7 were mums usual programmes with the economy button in as we usually had a tank of hot water in the morning. And I bet you still know every click of the timer lol.
Ours lasted 13 years and was still going well, but we had our grandparents 9530 1000 plus which was obviously newer and we didn't need to. It did have 3 sets of brushes,1 bearings and 2 door boots.
I would perhaps guess your motor failure could have been brushes, as I generally observed the original brushes to last 5/6 years in a normal domestic setting, but obviously that's only speculation.
Well yes why not see what you can do to get it going again, as James says, plenty of spares still available.
Mathew