Changing numbers

[Scrapper1]

Pretty sure I know the answer on this. Just looking for other perspectives. I worked a prep school match using NCAA rules. Between sets 2 and 3, libero #3 changes jerseys to a regular team jersey with the #3. Perfect. Love it.

Regular player #9 changes to libero jersey #5. Not cool. I'm pretty sure this is NOT allowed in NCAA. (I know that NFHS allows a player to have 2 different numbers if one of them is for the libero jersey.) NCAA 7.1.2.8 seems pretty clear that once the lineup is submitted to start the match, nobody is allowed to change numbers. (I had to look up the exact citation when I got home.) To compound this situation, there's already a #5 in a regular jersey on the bench.

I was just going to let it go until I noticed the second #5. So I called the captain over and asked her to ask the coach to double-check for a libero jersey with the #9. And if they really don't have one, is #5 on the bench going to play?

The answer came back as no libero #9 jersey and no, #5 on the bench isn't going to play. So I didn't make a stink about it. But by rule, I'm right on this, correct? Player #9 shouldn't be allowed to change to libero #5. Correct?