Hast du schon geprüft, ob es eventuell an den Steckerkontakten liegt?
Ist sie schlagartig ausgefallen oder über eine Zeit? Bei unserem 500X fiel sie nach 9 Jahren schlagartig aus und es war die Pumpe selber. Wenn du sie selber tauschst, dann nimm doch die Billigere. Die Funktion und der Anschluss werden doch (ziemlich) sicher bei allen Pumpen gleich sein.
