I have a lead here on a TF86-BX that I'd like to take up
but while the seller says it is indeed a TF86 (DSSI), the
drive has labels on it that say TK86.
My question is: are these in fact the same thing?
I can't recall hearing of a TQK8x controller, in support
of his claim.

Thanks in advance,
John A.