I actually went on and found other asteroids with atmospheres to see how common the bug is. Very uncommon and hard to catch indeed, as they mostly appear in asteroid rings around gas giants, which makes them unlisted in the solar system browser. This is the smallest one I've found so far.
http ...