Thanks for the tip! Perhaps I should retry upgrading. My problem was that after the upgrades, which took hours, both Lenovos said that the upgrade was unsuccessful. Thanks for the link, Saltgrass – the log files might tell me why my updates were unsuccessful.