I have a vintage trailer that originally had a hand pump sink and somebody in the past added a 12 VDC water pump with a switch. The pump finally gave out and I am looking to replace it. It just feeds the sink so it does not have to be too big. I am looking online and there are many options from under $20 and up. So, has anyone bought a small water pump and do you recommend it? Any advice is welcome.