So, I replaced both the sensor and cable and........it works!!!
I did check the old cable and there is nothing wrong with it, so it must have been the sensor. But, I think that it is wise to change both since it is, for my situation, such a pain to get the machine out and one can figure that the cable will give out eventually.
Thanks for the help. However, I would still like to get my hands on a service manual, for the next time!