I need the os.350 boot file for a Tektronix Xterminal I purchased on Ebay. This is the XP100 model. Any help would be greatly appreciated. I am going to use this with Linux. Thanks, Chris Fowler