servicing
Great machine there Si, as you say the belts pretty much look after themselves, and you'll know if the spinner belt needs tensioning because you can hear the motor start up and then the spinner catches up as if there were a clutch, it should just run up to speed quickly. Its this fast acceleration that makes the autorinse much faster than the hotpoints, your not waiting for the spinner to power up via the clutch.
Always worth greasing the pulsator bearing, and if you feel inclind I would strip the pump down and grease the impellor bearing to, otherwise its more a matter of dealing with any faults as they may or may not arise.
Anyway, I can just imagine your other halfs face when he get in the kitchen and it's all in bits, with no understanding of how much enjoyment your haveing, all the best with the external restoration and servicing
Mathew