Well, getting ready to open the pool this year and our vinyl liner is shot (7 years old). I have a 20,000 gallon kidney shaped in ground pool. Any recommendations on thickness of liner and how much I can expect to pay for the liner itself and/or installation. I’m hoping no more than $3,000. Is that realistic? Thanks!