I currently own a 6Qt KitchenAid mixer for my home use and have found that I have outgrown it. I've searched various websites (including EBAY) in search of a Hobart (8-10 Qt). All I am finding are the much larger restaurant-type models (30-60 Qt). Does anyone know where I can buy one of these smaller models? I noticed they are using these models on the foodtv channel. Thanks.