An ObamaCare tax on medical devices is falling short of its revenue target because thousands of companies aren't paying it, according to a government audit released Tuesday. The audit by the Treasury inspector general for tax administration says the IRS needs to do a better job policing the tax. The tax agency, however, doesn't have adequate tools to identify which companies owe it, the audit said.