Musk’s SEC fine cost even less than a slap on the wrist