#4 copper to the water main will be fine, and meets code per NEC.