LOL, I wasn't really replying to you, your message posted as I was posting a reply. No we absolutely used it as an advantage to us, and I am not really going to defend it. If I had a dime for everything a coach complains about that isn't a rule I could pay for a new Ghost. Same tournament a coach complained about our pitchers glove being 2 toned after she struck out his first batter, no biggie, he didn't know the rule. An ump told me that the game before us a team came to bat, in the 6th inning, using the same girl in the lineup that had been the first batter in the previous inning, coincidentally the leadoff batter in his lineup.
I know the coach of the team that forgot the number, he is a good coach, a paid coach, a good dude. I know he didn't do it purposely. My question was what is the rule? I don't know, but it seems to me that name is useless. Most players on other teams, I do not know their names, and many don't have the name of the girl. I do know that they had numbers on their jerseys. If Sally Johnson is on the lineup card and no number, I don't know which of the players on his bench is Sally Johnson. I may not remember which girl is Sally Johnson but I will remember the number on the back of her Jersey
When I coach, I have whoever is keeping the book write the numbers down as the girls come to the plate if the numbers are not listed. As an umpire, I ask the coach to fix that before he confirms it to me. That's about the best you can do