Pool liner

I am in need of a new pool liner, my first quote was $4000 for a 16 x32 vinyl liner. Is that a fair price.