Seems official then. I asked my father, who was a butcher for about 15 years, about it today. His comment was this was one of the occasions when you DO want antibiotics in your meat.
Thank you for the responses.