I was wondering how common the use of the PTC image formats (.imf, .tx1, .tx3, and .tx4) was. I'm particulary interested in .tx3, but would be interested in all of them. Also, how popular are the .rla and .pic (SHIMA-SEIKI) formats? I've never heard of these format before playing around in...