The diameter of a comet is 12,485 miles. If the radius is half of the diameter, estimate the radius of the comet. Round the diameter to the thousands place for estimation.