On November 2, 2013, I can't find a Krups 0907877 switch to purchase. I've looked at the following websites: small appliance.com, ereplacementparts.com, and 1800parts.com. Does anyone know where I can purchase this switch? Is there a different switch that will work in my Krups Gusto type 880 machine?