That's exactly right.
Although we can survive on shore water pressure for everything else if we have to, the Headhunter toilet will not flush unless we use our pump.
The good news is that our setup using the pump assures us of consistent water pressure throughout the bus regardless of demand. The bad news is that without that pump you better have a real good Plan B for using a toilet.