My hunch is that the answer is "yes, they did play together; no, they did not record." After Trane joined Miles's quintet, he was replaced in Jimmy's group by Odean Pope. Anybody have Porter on hand to verify?
Even if they did record, I think the recordings would be primarily of historical interest.
Guy