Hubby was going to mow around the pool and went to unplug the pump and when he did, the plug end part stayed in the outlet! Please tell me I can just replace the cord somehow? Would hate to have to replace the whole pump/filter because of one cord. Its only like 4 years old.