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.
Every team in this situation would have done the same, I think we can go away from this match with our heads held high.