An automobile dealer has an inventory of 500 used cars. To estimate the mean mileage of this inventory, she intends to take a simple random sample of used cars. Previous studies suggest that the population standard deviation is 9,000 miles. A 90% confidence interval for the population mean must extend 1,500 miles on each side of its sample estimate. How large of a sample size is necessary to satisfy this requirement?