That sounds high. I think it's somewhere in between the two figures I quoted. The cost to the federal payroll would be $195 million. There's obviously a cost to private employers as well. I think you're probably looking at figure somewhere between $200 million and $3.6 billion.
On November 20th, 2018. See this statement in context.