Some PBs handle it, It’s probably an area thing like everything else. Once one of them starts doing it, most of the others have to also to stay competitive. Anywho, if you can get them to fix it, awesome. If not you cut a small piece of the pipe (or one for each size if you have different ones) and go buy 100ft rolls at Home Depot or the plumbing supply store. Some bigger hardware chains have it also. You shove a nippple/ male to male coupler piece in the clean and fresh cut old pipe, shove the new pipe on the other side of the coupler and use a hose clamp on both halves. (Pro tip: Impact driver with a hex nut bit is SO much easier to tighten). Use the pool hole to re-route the new pipe and repeat the splice on the other side. (Stay as far away from the pool as possible just because, and make extra sure to blow that line out good if you guys winterize).
once you have all the parts laying there you could be fixed in a half hour. I recommend a new pipe cutter if you don’t already have one. Any saw or razor will cut the soft pipe but the specific cutters are easier, make a clean cut and only costs $10-$15 for a pair.
as always you can YouTube it to get an exact idea of what to do and also help you at the time if you forget a step.