I think the $43B must have been his market cap estimate in that video. I haven't bothered to rewatch it, but I often got numbers in that ballpark on the simulator.