We have a 12.5x21.5 oval onground pool. Would we buy a winter cover slightly larger or smaller? The choices are 12x24, 13x20, 13x24. Also have a 4' extra allowance so would going smaller work? Don't mind going larger though. This would not be a rigid cover. Thanks...