At what dosage?
Good question. I have not been able to read the hospital records to see what dose he was given.