We recently ran into an issue where one of our client's users locked himself out of PGP.  A gotcha was encountered entering the WDRT after pressing F4.  The shift key should NOT be used to enter letter characters.  The characters will show as capital without the shift key being pressed.  If the shift key is used, a different bit stream will be sent, but will look the same, and the token will not work.