I've personally tried the Tactile Pro on the PC before. I've tried it on Windows 7.
I'm not sure if it's written in the OS already but somehow it will decipher the hardware input of F13, F14, F15 to print screen, scroll lock, and pause. And clear to number lock.
Meaning all keys will work properly except insert which is the Fn button on the Tactile Pro which you can't do anything about it. And Alt and Window key will be swapped.
So for Auto Hot Key I used the following:
LAlt::LWin
RAlt::RWin
LWin::LAlt
RWin::RAlt
This will be enough to make you PC ready using Tactile Pro