[hiddencost]

2016 was a very long time ago.

[nanis]

I didn't dig deep. It doesn't matter if the correct number is 40,000 or 80,000. The argument remains the same.