With machines like this. If it worked fine recently and they called to fix the one thing that broke, usually I can hopefully find the one cause like you did (microswitch) without too much trouble or documentation.
If it broke a couple of years ago, has been left for dead in the rain and snow with the covers off, was sold to another owner and drug in in that condition, may be a different story.