I did try the 32 bit drivers. I think I had trouble getting the touchscreen to work or something. It was a while ago, ended up just re-imaging it to 32 bit. I think you’re right about the speed, probably not worth it.