Small question: Are irregulary shaped planetoids that common? Or if they were in Horizons at least. I stumbled upon one yesterday that is pretty round in Horizons but in Odyssey is like if a small kid wanted to do a ball with play dough. It wasn't discovered by me (but I'm 99,99% I was the first that went there in Odyssey) and didn't know how common it may be, so I passed on, but if you think it's worth to report it I can go back to it (I think I can because I was specifically looking for that planet).