I'm being offered a Tec 9 on trade. Its stainless, looks be be in good condition, includes the box and manual, so safe bet it isn't hot, but I have no use for it and would likely be trading it immediately on a CCW weapon of some sort or AR parts, so its trade/cash value is all I really care about, and looking on gun broker I see everything from $300s up to 800s...