Oh, one other question I thought of. Can you give me an idea of how much a liner install might cost? I've contacted one local company, but they haven't gotten back to me. I wouldn't mind having a professional install it, if it is less than about $300. Also, I just found a nice liner on Central Jersey Pools, and it says they use PenFab liners. Does anyone have any experience with them?