Anyway, I'm glad you agree that length contraction is still part of relativity. So, according to the embankment, the train is length-contracted, and yet the train just happens to be the right length to fit between the simultaneous lighting strikes. According to the train, the train is not length contracted, so it is too long to fit in between the lighting strikes. Thus the two lighting strikes cannot be simultaneous in the train frame, because if they were simultaneous in the train frame, the lightning strikes would not strike the ends of the train. You see, length contraction automatically leads to RoS. So they can't toss RoS out of relativity, and still keep length contraction.