If you look, there are a huge number of very similar pumps with different brandings/attachments.

I have this one That they don't seem to make anymore (I think mine is about 1.5 years old?)

Then there is this one I just found.

And this one.

If you look at them the guts are all probably identical. So performance would probably be very similar. For my own, I like it a lot, it's very fast for something so small. And I like that I can give it to family when they go off somewhere if they are having issues.

Actually makes a good fathers day gift now that I think about it!

But because they are all cheap knockoffs of eachother, just remember there would be zero support if it fails.