Actually, at this point, what matters is what impeller and diffuser they installed. You can take a Super Pump case, and by changing out the impeller, diffuser and motor, make it in to any other Super Pump.

Do you happen to have the invoice from that work? It might show the part numbers for the impeller and diffuser, and if so, will answer the question definitively. As it happens, I doubt that the pump is the problem. I'm discussing the issue with Waterbear.

Meanwhile, you DEFINITELY need to check out your filter interior. So get out your sockets and ratchet and open the thing!