The feedback listed on this website suggested that the shift actuator was the problem - and it was right! I changed out the part in about 15 minutes and swapped out the drive belt too for good measure, which added maybe another 5 minutes. My washer has been working fine since then.