Baylor debt: How much?