Which pump is better?

Got a used pressure washer with a bad pump. It’s a Honda GX160. Found these 3 pumps and trying to determine which is better. The General is $100 more than the Comet - is it worth the extra money? The last General Pump is mid-range. Using this machine around my house a few times a year, not being used for jobs. I just want the best quality for my budget of <$300.

General Pump

Comet Pump

General Pump - BWD-K 3027G (can’t add 3rd hyperlink)

For around the house, I’d just buy the cheapest one I could get as long as it wasn’t an axial or AR pump.