Explanation: The Foxhound 5 shortcut 9 - Mini-Restore contained a bug in the GA build 5.0.5432a: If the old foxhound5.db file doesn't exist, the script stops with this error message:

C:\ProgramData\RisingRoad\Foxhound5>ECHO OFF
Foxhound5 - 9 Mini-Restore
****************************************
CAUTION:
A Mini-Restore will restore an EMPTY
Foxhound database, with ONLY your
options and settings, but NO samples.
Are you sure you want to proceed?
Press any key to continue . . .
******************************************************************
*** ERROR ********************************************************
*** foxhound5.db not found...
*** "C:\ProgramData\RisingRoad\Foxhound5\foxhound5.db"
Press any key to continue . . .

To work around this bug in the Foxhound 5 GA build 5.0.5432a, create an empty foxhound5.db file in the Foxhound5 folder so the shortcut 9 - Mini-Restore will work OK.

C:\ProgramData\RisingRoad\Foxhound5>dir foxhound5.db
 Volume in drive C is OS
 Volume Serial Number is 5AB1-1BE1

 Directory of C:\ProgramData\RisingRoad\Foxhound5

02/17/2020  09:23 AM                 0 foxhound5.db
               1 File(s)              0 bytes
               0 Dir(s)  332,553,506,816 bytes free

...so the Foxhound 5 shortcut 9 - Mini-Restore will work OK:

C:\ProgramData\RisingRoad\Foxhound5>ECHO OFF
Foxhound5 - 9 Mini-Restore
****************************************
CAUTION:
A Mini-Restore will restore an EMPTY
Foxhound database, with ONLY your
options and settings, but NO samples.
Are you sure you want to proceed?
Press any key to continue . . .
Check that mini-backup file(s) exist...
Stop the Foxhound engine if it is running...
SQL Anywhere Stop Server Utility Version 17.0.9.4882
Unable to stop database server -- Database server not found.
Rename the Foxhound database and log...
The system cannot find the file specified.
*************************************************************
*** Your old foxhound5.db file has been renamed
***    to foxhound5.db.RENAMED-AT-2020-02-17-T09-25-31
*************************************************************
Copy (restore) the ORIGINAL_COPY file...
        1 file(s) copied.
*************************************************************
*** Your new foxhound5.db file has been copied
***    from the empty ORIGINAL_COPY file.
*************************************************************
*** When Foxhound starts, your next step is to choose
***    "Option 2: Activate Foxhound with a Mini-Restore"
*************************************************************
Press any key to continue . . .

This bug has been fixed in a subsequent build.