"Minor Planet" #8080 was named Intel. :-) https://en.wikipedia.org/wiki/List_of_minor_planets:_8001%E2%80%939000#080