That's a damn shame that del Toro left; I thought he was a great choice as director.
Now that there's a vacancy, I don't think they should replace him until the legal crap is settled. Who knows? Maybe del Toro will be up for taking it on again when production gets going again. If anything, maybe Peter Jackson will decide to take up directing the movies now.