Yup. Unless you get into touchy feelies soft valuations of your contribution to the Bitcoin network security (which you probably shouldn't unless you're running and mining on your own node), there is no scenario where a miner which produces less in Bitcoin than you could have had instead is to your advantage.
I'm not saying that it was the more advantageous trade. I'm saying that a missed opportunity is not the same as a loss.
At the time DPR got arrested I thought BTC was more likely to hit $50 than $1000. So I decided to leverage and stay with USD and not invest in BTC. I was totally
wrong of course, BUT I didn't lose any money. I can sell (or refund) my BabyJet now for more than I paid for it, and probably also still mine more than I paid for it.
You guys however decided that investing in BTC was a great idea at that time, and you were
right. However, you lost money.
Funny how that works out.