I think that was a good trade, lets face it Musk was the real prize, without him there would be a lot less freedom of speech.So here is the trade scorecard:
Harris got Cheneys, Bushs.
Trump got Musk, Gabbard, RFKjr.
Dershowitz is now a free agent.