REPORT: Texas has its pitching coach