> Plastic welding is a thing.
Good to know, I'll research it. In the past, I've attempted fixing plastic items with soldering iron and other sources of heat, up to and including open flame from a lighter - in every case, it resulted in burning and/or smoking and stinking plastic, and at no point the two parts became attached again. Not sure what I was doing wrong.