Here’s a link on what I found for Bermuda root depth, which is recommended up to 10" in our area. If you do make a change, I would do it an inch or two and wait a while to give the toys time to stretch, then adjust again. You lawn might be capable of deeper watering but hadn’t been watered accordingly.
