We don't use either water tank relying instead on street water for all faucets. Has anyone dedicated one tank to only flushing the toilet? Ours is a manual toilet original equipment. Our Marina says we would need to add an electric pump because the toilet wouldn't be able to provide enough power without assistance. Thanks.