Thanks everyone for your replies. It looks like my best course is to wait until spring before I do anything. Hope there'll be regular grass on the lawn after the crabgrass is gone.