I'm sure I read that you carry the points through
.GIF "Thumb(1)")
. Makes sense as then it becomes a true top 8 round robin albiet that you played one of your round robin games in the pool stages.
So the game against the other pool team that goes through with you does count. Best to have won that one.
Cheers
CK