A 6200 would likely be 4 years or more old, they were made from 2004-2007. I would send the one pump in, typically a dead motor causes a driver alarm, a dead driver gives no alarm, the driver is the blue or silver aluminum box the pump is connected to. It may be repairable. Include a return address and phone number.
Tunze USA
305 Victor St
Austin, TX 78753