Anyone have artificial grass? Or do you know someone who has it or has had it? Prior to owning our house, someone removed all of the real grass and put in mulch / stones. Since we have a pool with an enclosed lanai (we are in Florida), I really don't want to go back to the real grass. I don't want to have lines run for sprinklers, or have to mow / trim around the lanai. Not a huge fan of our current mulch and stones, so I was thinking about fake grass. Just looking for anyone with any experience with it, good or bad.

Thanks!