I would think your 2.5 ft border would be just fine. I always suggest to my customers that they put plactic down as an extra protection, before the landscaping. A 2' to 3' border with plastic should protect the pool from just about any kind of grass.

Dennis