Everything is getting scrubbed with about half & half "Simple Green" and water (because I'm done getting bleach in my lungs), so the main question is what to put up to discourage anything further from growing. Reputedly the Kilz stuff has some kind of mold-suppressant in it, hence why it's recommended for such use. Do you know what your neighbors used as a clear-coat? I contemplate some kind of deck finish, but all they claim to be rated for is UV, which isn't really a concern in the basement.