I picked up a customer for lawn mowing the other day. He has an area that is sinking slightly(not too bad. The area is maybe 10' by 10'. What would be the best method for fixing this area. Dig up old turf, grade and lay sod. Or just wait till fall, kill area, add some topsoil and seed?