It's a bit facile to limit "the tech industry" in this way, observing that girls acquire their anti-tech biases while in school and therefore letting "the tech industry" off the hook. Your hypothetical 17-year-old may not have had problems with "awkward coworkers" or "getting hired", but you can bet that she's been influenced by the culture surrounding technology, as have her male peers, at least some of whom have almost certainly belittled her technical skills as a result. And she very likely has been "disparaged in front of her tech peers".