Roof Plumbing: Sump Size & Pop Installation