Red Sea usually has parts available. You can do a search for your pump.
If your going to replace it with something else, I'd look at the EcoTech Marine VorTech MP40wQD or the
Tunze Turbelle Stream Controllable 6105 Pump. Quality wise, I'd say they are about the same, but each one has different features.