I think mine has a comet pump because it looks like yours, but I don't really know -- maybe they all look alike. Mine is around 4,000 psi, 3.5 gpm, or else it's 3,500 psi, 4 gpm -- it's been a while, and I'm having a Senior Moment. It has a 13HP Honda. I used it to power a wet sand blaster, which is pretty neat. At full power, it will strip paint. It can be throttled back and be as gentle as you like. Bigger is better.
Your calculation is correct -- the effective rating of any power washer is determined by multiplying the psi times the gpm. So, even though I can't remember which combination of numbers is correct for my washer, the rating is 14,000 either way.