Well, I went strait to the high-pressure output the banjo bolt; it was easy with a 17mm open-end wrench. Not a drop of fluid coming out. I even removed the supply from the tank to make sure wasn’t plugged.

Next: new pump, $780.00 new from the dealer, some time next week.

Thank you ds190 and locry for the troubleshooting tips, very useful.

Michael