I don't mind downloading the patch again if it is fixed.

Had anyone tested if the dl must be done again after the update if you have finished updating.