Randall county district court. Holly Craven Court Reporter .