Our cast iron porch is in need of some repair, is this going to become a money pit repair project? Anyone know the average cost for this type of repair?