$40k is not even close to total cost. Last year I was shopping and the good ones were $250-$350k so i think these guys got one for good price.