Hi Graham,
It does sound fairly terminal, and no it is not really worth doing costly repairs on such an old machine. To asses the ammount for the repair will a total strip down of the machine, and a lengthy fault finding exercise, If you could hear the motor running, but the paddle not mixing, them yes a new belt would be an option. Sorry that your machine is not working.
kadtoy, August 2010