Let’s wait for @HoneyBadger then.
The other case had success, and their pool is back to normal. A notable difference is that their TXGs were only off by 3. Yours are off by 5.
Either way I don’t know what caused this in the first place. Mr. Badger might have a better idea.
EDIT: To make sure. This is when you attempted to import with the “newer” TXG device (17236783) unplugged, correct?