You are wrong.
They raised 80btc worth eth/btc for sirx they sold.
If they turned to fiat at that time it was 80-90k usd.
You missed a zero, at the time BTC was worth around $10000 and that times 80 is $800,000.
On a completely almost unrelated question, does anyone know of any low power machines to use for 24/7 staking? I've heard the ideal setup is a raspberry pi if it supports it, but I was curious what everyone uses in these scenarios. I really don't feel like leaving my main gaming pc on for that long sucking up needless watts. Does everyone just use old laptops or something?