My whirlpool washing machine, quite old, needs a nudge to start
spinning, after which it works fine. This means the belt is loose,
right, and needs replacing, right? (IIRC, there's a belt.)