Ok, I tried it a few times. I am pretty sure that the first time it downloaded DirectX several times again, but afterwards when I tried to keep a closer eye on things, it didn't happen again...