3 ms·Over 25 years, and so roughly the same amount as they've been spending recently per year anyway.by ZeroGravitas 1y agoOver 25 years, and so roughly the same amount as they've been spending recently per year anyway.