I would also report the incident to your local health department https://odhgateway.odh.ohio.gov/lhdinformationsystem/Directo....
Reply on news.ycombinator.com