Seven zero zero zero. Woot!
So, let's make this into the new official Star names thread!
Mine are, from right to left:
Bob, George, Martha, and Zebroniux! Destroyer of worlds!™
Assuming there is at some point a 5th star, it shall be named in honor of the Snail.