I found these mosfets on Ebay. They are in the TO-3P package and stamped "IXTH88N30P", which according to the IXYS datasheet they should be in a TO-247 package. They are also stamped "philippines" and shipping out of China, at half price. seems shipping from philippines to china, to america should drive up the price at least a little bit. Should I be suspicious?