The Boring Company's leader is called Steve Davis. Musk is obviously a keen student of Snooker lore.