To report a tip to the Texas Department of Public Safety: