...or just roll dice
I think this gets forgotten a lot. It is part of the primary rulebook that, in the event of a rule dispute that the players are unable to resolve, they should dice off and move on with the game. I think this situation would qualify.
The little problem with that is that some people who actually know what the rule is could argue the other way when it benefits them. They may know they are wrong but if a die gets to determine who "is counted as correct" they'd have a 50:50 chance of having things go their way instead of a 0% chance.