I need to put my cover on and found the homeowners did not leave a pipe to stretch the springs. Looking at local pool supply stores none of them carry one. Are they a standard size? Anyone know what size pipe I need to buy, I can stop at lowes on the way home? Thanks!