Very good news. How hard is it for state government customers to get 64-bit 9.2 (in addition to the 32-bit version because not all of our machines run the 64-bit OS)?