It's come up, but not in any formal report. It really doesn't matter who got named in t he report, except to those individuals who were named. They got burned, but too damn bad. The use of the stuff was rampant during those years. It was ridiculous when you started seeing middle infielders like Boone and Tejada growing 20 inch necks and hitting one-handed Home Runs to the opposite field. The whole era was dirty.