[@Vampy]
Ah, wait, I fudged up the numbers. It's only around 5200 apparently, not 8000. Whoops.