Yer these are about 800-900

What I learned is most major brands use the pumps from ULKA. They run about 40 bucks but you can get knockoffs even cheaper.

So as complex as a coffee machine is they quite often get rugged by a cheap 3rd party part. People take back for repair and they make a bomb by replacing a simple pump. It’s a fucking scam