A couple of thoughts...
The bench fee for Sound Devices used to be ~$100. This was around 2011-2012. In just five short years, they have nearly tripled their bench fee. My personal view is that it is on par with Sound Devices declining customer service and support... for which I could write a novel.
If you are using a 7xx recorder and do not have a dedicated SD card with your profile settings, you are asking for trouble. I have documented my process for this before (
here), but in a nutshell find an old SD card that is no longer useful (1gb, 2gb, 4gb cards, etc. are excellent candidates), save your profile to that card, then stick a label on it and tuck it safely into the gear bag. It's way too easy to accidentally reset all settings to factory default (you can do this simply by hitting the "yes" button twice too fast while opening the menu) and it can take 10-20 minutes to reset everything by hand, assuming one can even remember all the settings they need to work through. In an emergency, you can quickly pop-in your backup SD card and restore all profile settings in seconds.