washdown

I would like to install a saltwater washdown pump on my E35-III. They come in all shapes and sizes. 2GPM to 7GPM. 35psi to 80psi. Of course the larger ones are more expensive. Which would be adequate for deck washing using a 50ft hose? I was thinking middle of the road 3.5GPM and 50psi...