Wow, that's a lot of work! Meh, don't get rid of the rock. Rock is almost always "fixable" with enough time, patience, and fresh saltwater!
Sometimes old rock can use a good seeding with some fresh uncured rock to seed back a good variety of little critters.