When Romana eventually returned to her own universe, she brought K9 Mark II with her (presumably having repaired it) and eventually became Lady President of Gallifrey. K9 Mark II is first seen on Gallifrey in the Virgin New Adventures novel Lungbarrow by Marc Platt, alongside K9 Mark I, which had remained with Leela. Both K9 Mark I and Mark II appear, voiced by Leeson, in the Big Finish Productions audio adventure Zagreus and the Gallifrey audio series. Leela's K9 (Mark I) was destroyed at the conclusion of the second Gallifrey series and only Mark II appears in the third series.
K9, retroactively "K9 Mark I" (Leeson), initially appeared in The Invisible Enemy (1977) as the creation of Professor Marius (Frederick Jaeger) in the year 5000. K9 subsequently travelled with the Fourth Doctor (Tom Baker) and Leela (Louise Jameson) as a companion of the Doctor in his adventures in time and space until The Invasion of Time (1978). In this serial, K9 decides to remain on the Doctor's home planet of Gallifrey with Leela. Immediately afterwards, Doctor Who would introduce a second incarnation of K9, played by the same prop; the last scene of The Invasion of Time shows the Doctor unpacking a box labeled "K9 Mk II".