After a year of happy ownership, the XK has thrown me a curve. The garage door buttons on the upper console frequently forget their programming. I've reprogrammed several times, per manual instructions. Is there a module to be concerned with, or would a hard reset potentially help? thanks

 

In a word. Yes.
Have you tried the approach of delete all previous programming and rebuilding the configuration. Perhaps its a rolling code issue??