Today, someone at work said to me "did you hear that some guy found a galaxy"! so Mike, you are being talked about, a household name soon
they also asked if you got to name the galaxy. i did tell them that the IAU are not that cool.
If you could name it, what would you call it ?