DALLAS (CBSDFW.COM) - The Dallas County Health Department is investigating a case of tuberculosis at a restaurant near White Rock Lake.

The health department told CBS 11 News that the public isn’t at risk because anyone who ate there would have had limited exposure to the worker.

“Information from the CDC as well as from our own investigation indicates that under the circumstances, there is no cause for alarm and no threat those customers who have visited the location or other members of the public as a result of this situation,” the restaurant said in a statement.

The department said warning letters about the possible TB case went out workers at the restaurant on Buckner Boulevard and Garland Road.

workers at Torchy’s Tacos on Buckner Boulevard and Garland Road received letters about a colleague who might have the disease.