I have a Waterbox 220.6, looking to buy some filter socks (preferably not their own, they are expensive and a little hard to clean). Does anyone know if they use standard size socks, or are they slightly bigger or smaller? It is a 7” size, will a regular 7” sock fit? I was primarily looking at the BRS 7x16 sock, is this too long to fit in the sump?