Meanwhile, if he bought BTC, he would have 23 BTC, right now. Nice try at post rationalizing though.
Hindsight my friend. BTC could have went to zero too. this is a weak argument.
And if BTC had gone to zero, he'd also have 23 BTC. See how the exchange rate is completely irrelevent? Mining hardware generates BTC no matter what the exchange rate is, so BTC is how you have to evaluate its ROI.