[Texas] My Driver's license # is only 8 digits, but the twc website adds two 0's before the DL#, is this normal or do I need to call them