Basketball TCU injury update: Lampkin available but not Miles