Who knows what really happened and how it was said , as you posted. The OP says it was 4000 initially , either stated or counted by somebody maybe? Later the question was " is that doubled" ? answer " yes". 8000?? Seems pretty straight forward for a friendly home game verbal exchange and the ruling I suggested seems adequate to me.
Of course other groups may want to rule differently as their group structure and preferences dictate.