Every team in this situation would have done the same, I think we can go away from this match with our heads held high.
Of course you feel extra pity for Tommy ending with losing on penalties. In a way it's always easier to lose a game when the other team is better and you can accept it afterward. So it was pity for Tommy, an extra pity.