See this Comm Center thread. Taking Erik and Jim's idea, use an optional file ExcludedBrightStars (they are used for more than focusing) to exclude known bad stars. Instead of the catalog ID, the file will contain coordinates so that it can be used no matter what catalog the user has selected.
Add a line that outputs the selected bright star to FindBrightStar so post-run log analysis can ID the bad star, and the coordinates can be copied to the ExcludedBrightStars file.
