[harryrcb]

I would say you are correct in your diagnosis. However it's possible the release bearing arm come off its socket or was not pushed all the way on or your pushrod missed the mark when installing it on the housing (almost impossible) so most likely you will have to drop the tranny again.