Scratch that last post, my mind thought Musk. Doh. Yes, he’s ahead of Bezos.
You are correct that Musk is a whole lot more industrious.