More than one Musk company involved in battle with powerful Brazilian judge.