Well at least it ended up with a deserving and appreciative buyer who will likely get a long service out of the machine and hasn't ended up in the grubby hands of the other guy.
Ahh, if only victa had kept producing the thumblatch catcher series, they would be in better shape today!