Quite a few pitches get by me when I'm batting on my men's fastpitch team...
Another thing that got past me...the fact that the batter was called out on strike three in the original post! You know how it goes- sometimes you can read right through something while quickly scanning a post.
So, when I said the right call was made- that was the wrong thing to say!
Contact before pitch begins = no penalty, call time, call "no pitch" if ball is thrown, and let players reset.
Contact after pitch begins (and in the batters normal course of trying to hit the pitch) = catcher obstruction (unless the umpire judges that the batter purposely initiated the contact to disrupt the catcher from catching the ball and making a play. Then you can have batter interference.)
Contact that happens and the umpire doesn't notice it? You're stuck with the play as he calls it!