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