My vac hose it broken, which I didn't care about cuz I have a Dolphin so I don't vacuum. But this is my first pool opening. Will the pool guys need the hose for anything? I'll have to get a new one if they do.