I probably only added about 20 - 25 lbs per 1000 sq ft. At the time I
didn't know the pH, but based on the previous owners I knew I need to
add lime (was worried about burning the lawn).

I plan to aerate, overseed, and of course add lime in the early fall.
Good to know I can do it all on the same day/weekend.

Appreciate the response. Thanks.