They do work, but the responsiveness of the VM with those drivers is very different from the Citrix drivers (at least the 9.x Citrix drivers). Just a pain to log in to get the drivers each time they (Citrix) update, and at least the Citrix are signed. It would also be nice if Citrix would package them as an ISO, would save a step to getting them into the system.