Randal Tye Thomas (born August 23, 1978) served as mayor of Gun Barrel City, Texas. He was also a member of the Electoral College in the 2000 Presidential Election.