ETS (active) fault code: C1401 (pressure problem?)
BAS (stored) fault code: C1025

That was all they had.

If there's a pressure problem in the brake hydraulics, couldn't it be a myriad of other things, like the master or slave cylinders, or a leak in a line, and not necessarily a $1500 ETS pump? Maybe the pump is complaining that it can't engage because it can't get enough brake fluid?

About two months ago, the car complained about low brake fluid, so I added some brand new, Dot 4 fluid to top off the reservoir and it hadn't complained since, until this new problem occurred.