Not yet. But I don't expect he's going anywhere too far in the future, so we ought to be able to track him down for it, with enough work. [ And Greg Lestrade is a boss at hard work, if nothing else. ]