using smaller dia static line for hauling or second rope is still common in big wall cause it makes it easier for haul or for second climber to jug on it but taking a 250 footer on any static line is dangerous and falling forces on climber can be fatal . I have seen reports on similar cases where rockfall cut the rope just right below the harness and I wonder if it would be worth asking rope manufacture to beef up the first few feet of tie-in area with some fiber material that could add a little safety in to rope. I know there is no grantee on where the next rockfall may damage the rope but just a thought and I personally do not mind paying little extra to get some protection 10-15 feet below my tie-in.