I currently have a mix of zoysia and bermuda grass in the front yard, but I believe it's predominantly zoysia. Due to drought last year, some of the soil has become compacted in parts. My plan this weekend is to aerate, water, and then a few days later throw out some seed. The internet is conflicted on zoysia versus bermuda. I'm leaning towards quick growing bermuda given that it's mid-May and will be getting hot soon, but zoysia seems to be overall better. Any thoughts on what kind of seed to get?