Does anyone know the Texas Service Center Telephone number? (not the 1800 National Service center). Thanks a bunch !