Musk Takes Aim at IRS Budget Through New Government Role