I'm not sure either, then.
I do know that, if my players are fixated on some meaningless minutiae and it looks like it's going to result in a lot of boring, frustrating, time wasting in the real world, that no one will enjoy, I'll certainly tell my players and find away to avoid that. I can...