Coke in our religious teachings - I think it's permissible and up to the drinker. Which means that both are permissible.
From there, I think the school should offer what's in demand. And I think both are in demand.
At other universities, there's likely no demand for caffeine free. At BYU there is a demand for both.