Can't really help with the part numbers and makers you mention, BUT, I'll tell you what I use.
I have a blood pressure problem and must monitor it daily. The piece of kit I use for this is openly available from any chemist (pharmacy) shop in the UK for about £15 and runs on 6 volt. The pressure it produces in the arm band is powerful and quick.
Bought a second unit and pulled it apart. Pump, motor, non return valves, etc all for next to nothing.
My local chemist can't understand why I've bought four of them now!