I'm assuming a tie is treated like a push? I see the Minn/Pitt game ended 4-4. Can someone help me out here? I can't imagine that it's a double scooper for the books