Isn't the Renesis using a gear driven water pump?

An independent second alternator would be nice, but if the water pump is
gear driven, then there is no issue with needing a redundant water pump
belt.

Mike