8442 Ostralegus jẹ́ plánẹ́tì kékeréibi ìgbàjá ástẹ́rọ́ìdì.