Does anyone know if the pick-a-nick shelter roof has been repaired at the campground that got burt off at the end of last winter??