Hey, I clearly remember that there was only caffeine-free Coke at Ricks College (apparently now re-branded as BYU-Idaho), and it was a Big Fucking Deal when they started allowing Coca-Cola in the campus stores and dining hall. So even if it wasn’t “official”, it was a very clear cultural issue, to the point where I don’t think that most people could have drawn a line between what was official doctrine, and what was commonly accepted as doctrine.

There also wasn’t an internet at the time, so members couldn’t readily find some of the information about the nitty gritty.