Thanks for the link! I ended up calling Samsung USA and tech support said I could either send the unit to their US service centre (NOT!) or tune into channel 100 to receive the update. I'm going to try that tonight...
OTA HD setup: Harmony 659, Sony LCD GWII 60", Samsung SIR-TS160, CM 4228, CM 7775, CM 9521A