My son just had an in-ground pool installed. In the process his back and side yard is nothing but dirt. The 2 inch rain we just got only helped to send mud streaming into the pool and neighbor's yard. What is the best way to get grass growing and can we seed this time of year or do we have to wait till fall? Some one told me I needed to put lime on the ground first. Thoughts?