Is $20,000 to install fake grass around pool area a fair price?

I have a pool in my backyard and am debating between installing fake grass or extending the real grass to the pool area. I'm leaning towards fake grass because it would be cheaper to water and I wouldn't have to move pool chairs for maintenance. I'm looking for advice on whether fake grass is better and if there are any other concerns. I'm also trying to decide between different samples, as the project is estimated to cost around $20,000. I want to ensure I select the right product and am seeking recommendations or specific considerations for grass selection in a backyard pool area, beyond just color preference. I've also inquired with suppliers about certain features, and it seems all fake grass now includes them.