The official count was revealed for the first time in registration information submitted by Tesla to the Texas DMV.