I had a similar problem last year. After searching a bit, I found the pump curves for the Honda pumps on their website, and used them in a pump calculation spreadsheet.
I put in your situation of 60 ft of rise and 800 ft of pipe, and the output curves are attached.
Essentially, the WX10 should pump around 8 gpm and the WX15 about 10 gpm. I eventually bought the WX15 since the price was not that much more than the WX10.