The public TCO search database can be found here:
We thank you for the 12 years we got to deliver the system and
wish you the very best of luck with your new system!
Please update your links!
This site will stop working during the seconds quarter of 2018.