Comment by rsanek

For others wondering, it's about 2%: 2023's GDP was $29.6b, and this article mentions that the $6b was "over a decade."