Impressive (even more for the geek me) but done before. Only relevant because of comparison with hellish OTA process for non-Google Android devices.
They also patched the MER rovers many times; This bug caused quite a few headlines back in the day: http://www.nasa.gov/offices/oce/llis/1483.html