Does anyone know of a source for replacement headphone jacks? I work for a school and we have a large number of damaged headphone jacks on otherwise still working chromebooks. I’m handy enough with a soldering iron to do it, just need to know if anyone has identified a source for the part.