13mm pipe can be used for drips, but 19mm will feed more people. Pop-ups need either 19mm or 25mm, depending on water pressure. There are different sizes of Poly Pipes online.
Let's Get It Fixed!
HomeX virtual experts will assess your issue (for free!) and can resolve simple problems.