Paul, the part is £180+vat, on top of the battery I bought last week, the charger,and a booster pack! What also concerns me is that this is obviously not a part that goes once in a blue moon (judging by the amount of others that have had the same problem).
Kev, as Goron mentioned, the pump also drains the battery to keep the header tank topped up when you're working. Normally this drain would be compensated for by the regulator, or a sufficient charge when you're driving around between jobs if you've got a split charging system.