Guides to Sony .RSV files

What to do when a Sony camera leaves an .RSV file instead of an .MP4: what the file is, how to protect the card, the free things to try first, and how to get a playable video back. One guide per camera, plus the general explainer.