I am getting about 8800 stars visible from the Sol system when Celestia is displaying stars within the visible range of magnitude. Is that about right?
-----
It would be nice to show how many stars are visible as you adjust the visible range parameter.