What is the diameter hose size that goes from the thermostat to the riser? I need to pick up some before I head over to the boat this weekend... 3/4"?