To be really fair, we don't know for sure if anything would have been damaged in your RV. I suppose you could have run a test by bypassing your protector after the first time it tripped-out to see if anything was damaged the next time, but I can understand if you aren't willing to do that test :-)
I'm very interested to know what can cause these surges. (I call lightening-generated problems "spikes", which are high voltage, very short duration excursions, different than what you experienced.) I can imagine AC compressors might be able to do it, and while it wasn't cold that evening, I doubt that many were running AC. There was just a story on the evening news that said that solar flares are about to start causing them. Are there other causes? I have too much curiosity.
Tyler State Park is very beautiful. You are fortunate to live so close. We used to have Bastrop SP, but it's very sad after the fire. I hope y'all are doing everything possible to protect that beautiful forest.