Totally just going to semi-repeat/add on to Vortex's post because I had this all typed out, I was just beaten at the punch.
Mind sharing his username and the name of his .fhp file?
Sometimes, if there's capitalization, the user's preset won't show up.
For example, if my .fhp file was titled vespian_7.fhp when my username is Vespian with a capital "V", the preset will not show.
If that is the case, an easy fix would be (I'll continue to use my username as the example) to change my (his) username in the userbox as vespian and then export the preset/upload it to the sync. No username change required.
Aah, me hopes I've explained well enough. If not, I can further clarify.