Hi Roger,
I'm not sure if it will help but in the early days of windows (3.1 Ithink) there was a utility called keymap or something similar which would allow the user to change the character of any key. Perhaps something like it still exists for win10??
--
Steve 009 in UK
