KitchenAid artisan mini, does anyone have any information on this thing, it’s sold out everywhere, even Walmart. The KitchenAid website doesn’t have them listed anymore, I mostly want to know if it’s been discontinued.