Might be faster to just wait for one more vote. If there's still a tie at that point, we can let Shade pick his favorite. After all, he's the one setting up these polls, and there doesn't seem to be any strong preference between the top three anyway.