I think it's premature to rule this out. Trump has previously abused government agencies to harass his opponents, so why wouldn't he and Musk use IRS data for this purpose?