About 10% of my lawn is infested with orchard grass in spots 8”x18” or round spots of a few sprigs to circles 4”-10” in diameter. Many of these I’ve killed. Should I dig up the dead areas, emend the soil as needed, replace the dirt with good composted soil, and spot seed or just bite the bullet and at least overseed the entire law, completely remove all the grass and reseed or resod? Our underlying soil is very rocky mostly with chunks of slate so digging up the existing soil is a real pain. I do have a pH test kit so I will know how to emend the lawn correctly.