Hi guys, does anyone have access to, or can they point me in the direction of service manuals for kitchenaid commercial mixers. I have a problem with a dead unit in my workshops. Model 5KPM50BWH. I have the Amercian manuals which appear to be freely available, but have had no luck with the UK variety