house, you're probably looking at ~$10K. Have them strip it to the wood and replace rotted panels (there could be an actual hole at this point - rotting wood doesn't all of a sudden get better).