Technically they're not the Gulf Coast Toad - the toads in Texas that were known as Gulf Coast Toads have been separated to their own species and given a new name - Coastal Plains Toad, Bufo nebulifer. So you were right in your guess.