I envy you guys. My pond is about 35 to 40 years old and the overflow pipe is still a virgin.
Worker: "What size pipe should we use for Dave's overflow outlet?"
Builder: "Just run 3/4" PVC to save him some money since it will never see any water anyway."
Ouch!