I thought the accepted max poly count for maps was somewhere around 15,000 so yes, that would put it within range. I haven't scaled it to fit the Halo reference models yet so a size measurement would be fairly inaccurate at this time...
EDIT:
here is a new render with wireframe. As you can see, absolutely no optimization has been done whatsoever, and yet still at 9,000 polies. If I continue to put it in game, it will be cleaned up however.
