11K seems well off to me. I doubt you could buy the hardware for that let alone install it. We do a bit of work for the fire pump industry at work and I've been in a few pump houses in my time and typically they have two pumps, two electric motors, two diesel motors and everything is dual...