And, IIRC, that military retiree tax issue came home to roost during Wilder’s administration. He dealt with that, a bad economic scenario and DIDN’T raise taxes.
I can't find anything on it, but in the back of my mind, I think it was Allen that had to clean that up.