I know we are just making some hypothetical observations here and it makes for interesting conversation i suppose, but why would we assume that we will automatically be the one to take his chips? Isnt it possible that this donk may also later take our chips? Final table, there is a lot of pushbotting, very likely that anything can happen. Eliminate this player now and not only to you gain strength in your stack size, but you have now just increased your odds of finishing 1st by eliminating number one a player and number two the possibility that some other player takes his chips. We can't seriously be considering the slim possiblity that he may double up later and then doubling up again a good enough reason to keep him around. With all the pushbotting this is actually a reason to take him out, not keep him in. chip accumulation is a HUGE must.