Yes, there were two you could order, 9010.040 or 9011.040, we shipped your 9010.040 yesterday, this is just like what you have, just rebadged with a new number and it may have a different venturi if your pump is older. These are discontinued but a handful are still available, we just got the last US ones last week. This may be preferable as you can use parts from your other pump and all parts are still available. 9011.040 is the newest pump but it is completely different in shape and impeller and the main advantage is it is quieter.