What can cause the Oct 2011 OTA update of the Galaxy Tab 10.1 to fail?
Updating via Kies eventually worked. The trick to getting Kies to connect to the device is to turn off USB debugging on the device.