Sorry, I should add that I tried a Quick Repair and then an Online Repair the day before yesterday without any change.