Just tried that. No difference. I had already done a regular update, and pretty sure that's the same as the repair update on the start menu, but anyway, it didn't correct it. Thank you though.
