I am looking to purchase a Hobart 20 QT Mixer. The most common model number is A200, although I think they have a newer line…Anyway, the ones I am looking at are the A200’s. The manual says these come with a 1/2 HP motor and most of the folks on Ebay advertise them that way, but when I see...