Indeed, and the service manual seems pretty comprehensive and freely available. Interesting to see the components are readily available ie nothing exotic - and why should they be. Even the output MOSFETs are industrial IRF540.