I have resolved the situation. I found a local repairman who is willing to come out and fix the machine. It cost a little less than$100, but it is well worth the money. Of course cost was part of the endevor, but an extra bit doesn't really make a difference. I just hope he will do a good job.