The $45K dollar figure is a bit misleading - that is how much it would be worth legitimately, but not on the black market. EvE allows you to buy 60 day Game Time Cards and sell them through a secure marketplace, current value is somewhere between 600-700mil for a $35 card. The websites where you can skip the steps and just buy it are much cheaper, half or less generally, and EvE developers aggressively track people who buy ISK. When they find you (sometimes it's 6 or 7 months down the road), they will remove the amount you purchased out of your wallet, generally leaving you with a negative amount, which stops your character from being able to do pretty much anything until your wallet is positive again.
He'll never be able to realize that money, if he's able to get 1/4th I would be *shocked*.
850bil is quite a bit though, when we had all of our reaction chains running full swing in Delve, we were pulling in 2-5bil/month profit. With 5-10bil in your wallet, you can do pretty much whatever the hell you want and not have to worry about money anymore.