Ties are pushes in my neck of the woods......I say play on........I also say there are better things to argue about.........like drivers.
I'm no expert but when I owned a newsstand in Cicero at Laramie and 22nd I used to do side business
for some very good fellows

A tie was always a push unless you played that white card thingy, I believe
it might have been called a parlay card

in that case a tie was a loser. This is a just for fun contest
so I'm sure no one is really arguing.