It's great you have that resource.

Sorry, I don't have any experience or knowledge about ordering liners. I am following this thread because our liner is 12 years old (this is our first pool) and probably will be looking to replace it within a few years (hopefully we'll get a few more years out of it; it still appears to be in good shape).