TI-30, yup, confirmed. Also found $6d9 from $4f to $5f.
BTW I wonder which commercial product was the 1st use of TMS1000 series mcu. That should be interesting to see if it has differences compared to newer ones. **edit**: oh, I'm reading that it was the SR-16.
TI-5025 looks curious too, it's like a 0980 but the output PLA differs.