t40 serial numbers