You did the right thing to tell him. And yes, I would eat the doe.

Would I eat a healthy looking deer that tested positive? That is a harder question. I don' t think I would worry about eating it myself, but would I feed it to my kids? I' m not sure. Glad we don' t have it in Texas yet.

I really suspect that if people can get the disease from eating it, it will be a low incidence of trasmission. In other words, if 1000 people eat an infected deer, maybe 2-3 of them might get it. Only a guess at this point.