4 ms·

Really? I've never heard a figure that high. I think the estimates currently are about $50B, spread out over 10 years or so.