First half of 2025 approx 4m tons, which amounts to 600m USD. Can't find percentage numbers but below one billion seems quite low to me

Yeah that does seem low. There was some media coverage of it here a few years ago, which led me to believe it was a lot. I guess I shouldn't be surprised, media was misleading.