Conversation so far:
When was David Robinsons last season?
David Robinson announced he would retire from basketball after the 2002–03 season.
Are there any other interesting aspects about David Robinson's 2002-03 season besides saying he would retire after?
On June 15, 2003, in the finale of Robinson's career, the Spurs won another NBA title.
Did David Robinson win any other awards besides an NBA title in the finale of his career?
David Robinson is a 10-time NBA All-Star, the 1995 NBA MVP, a two-time Olympic Gold Medal winner, and a two-time U.S. Olympic Hall of Fame inductee.
Did David Robinson have any other records the NBA title and being the 10-time NBA All-Star, the 1995 NBA MVP, a two-time Olympic Gold Medal winner, and a two-time U.S. Olympic Hall of Fame inductee?
David Robinson is widely considered one of the greatest centers in both college basketball and NBA history.

Question: Was his number retired?
Self-contained rewrite: Was David Robinson's number retired by the San Antonio Spurs?