What is the population of Buxton?

The 2010 U.S. Census population was 8,034.