tde serial numbers