Spät kommts, doch es kommt. Der Patch ist installiert gewesen. Nur schneller war der IE trotzdem nicht. Ein Bekannter hat sich der Sache dann mal angenommen, allerdings auch mit wenig bis gar keinem Erfolg.
Mittlerweile hat sich das Problem von selbst wieder gelöst.

(was auch immer das war, es stand wohl einer auf der Leitung

)
Danke dir trotzdem.