I recently acquired a Williams F-3A and F-3B units in livery "The Texas Special". Does anybody know what the manufacturer's number is of these units are?