Hello Ray,
Thanks for your reply! To answer your question, yes, both OS X and Windows 7 detect the USB-serial device. The upgrade succeeded on Windows and my OS is operational; it seems to be only the verification that failed for some reason.
Thanks
Nick