Who do you think will win the HD-80 GOP primary?