Thanks for help. I've learned more about vacuum pumps, holding tanks and duck-bills in the last few days than I ever thought I would.
The holding tank is empty. We were unable to discharge it overboard, because although the discharge pump is a separate motor, and runs on a separate breaker...