Hi, F5-F8 are the same as U1-U4... You can export them but then you need to change the byte indicating the bank from 04 (for F5) to 00 (for U1) for each program in the bank sysex.You can use HXD to see and adapt the sysex file or you can also use my editor running with Ctrlr (http://ctrlr.org/dsi-pro2-editor-and-librarian/). I will update it soon to v1.0 including program infos and comparison.
I found this page which has a sysex download with the original factory patches ready to load in to the user banks.http://www.davesmithinstruments.com/downloading-pro-2-factory-sounds/