The chamber of commerce of Florida Gold Coast community advertises that area residential property is available at the mean cost of $125,000 or less per lot. Assume a sample of 32 properties provided a sample mean of $130,000 per lot and sample standard deviation of $12,500. Use a 0.05 level of significance, and describe your conclusion.