Elon Musk questions logic behind 1,400 IRS employees handling basic tech distribution.