Cool, glad to know a fix can be implemented quickly if desired.
IMO, there should be a rating loss after timeout.
Like, bummer if you lose some rating cause you get a call on your iPhone in the middle of a game (which you could ignore), but you are quitting that game.
And if there is no rating loss, you still have a bunch of people quitting because they don't go first, get a bad hand, are losing, etc.
Without quit = rating loss, rankings mean nothing.