To kinda answer my own question, after measuring an un-smashed pot on another analog board, this Alpha potentiometer, part number 3RP/1612N-AA2-B1M seems to be the closest match. Of course, I can't find any place that actually stocks it.
I'm assuming I want linear taper, not audio taper for the...