Here's a follow-up. I found that the ICS update was available today via Kies. You have to install Kies, then install the update. What I didn't know was, in my experience at least, Kies does not recognize your phone on 64-bit WIndows 7. I found this out after trying on 4 different machines. Lucky for us we have a lot of PC's around. I finally tried a 32-bit version of Windows 7, and the update worked right away. So, the answer is 32-bits.