3 ms·

I’d ballpark about $5 billion annually these days. That has stupendous wiggle room and assumes a bunch of things in the article remain true.