The Roosevelt Island Operating Corporation estimated its population was about 12,000 in 2007 .
The Roosevelt Island Operating Corporation guessed that about 12,000 lived here in 2007 .