Musk could probably do it for $3 billion.