The Haltom City, native also finished with the highest full-season batting average by a Red Raiders player since Josh Jung, currently playing for the Texas Rangers, hit .392 in 2018 and won that ...