Of course though, they try and weasel out of it as best they can; one of the questions is "does it start back up". The answer is yes, but then the pressure rises to dangerous levels and it shuts off throwing an error code. Their response: "in that case you aren't covered because it isn't completely broken."

Obviously after some wrangling we get them to get someone out; in the meantime having spoken to our usual plumber who's pretty sure its a broken pump and managed to source one. So their guy comes out, advises yes its the pump and that repair isn't covered and it'll be Tuesday before they can get one in ajy case....
So, great emergency cover, huh?