Indeed, one workstation is running the 64-bit edition of Windows XP Pro, but the other is only running the standard 32-bit XP Pro so I am taking the assumption then that it is not based on the OS. And unfortunately this problem has become more and more frequent lately, such as happening twice...