I had a check of the RGUI and that's showing the savefile setting as Content Dir as @mitu said.
I've had a look for hidden folders and such like, and searched for ".srm" within my external memory stick (as well as the microSD card within the Raspberry Pi, but still no joy.
I was a little confused by the runcommand/verbose logging suggestion - I thought I had done it but I couldn't then find a log file to check out?