He could still have plenty of BTC in his savings.
He spent almost everything, apart from single-digit change. So NO, he doesn't have 'plenty of BTC' in his savings.
Source:-snip- Other than a little bit of single digit change, I spent everything I mined. -snip-