Heck! Putting so many zeros while writing is literally torture. Let one of you tell the people at TEI. "TF6K" encoding instead of TF6000 works just as well. The "K" of Kilo, that is 1000... Thus, TF10000AB becomes TF10KAB, TF35000AB becomes TF35KAB, etc etc.