Here's a breakdown of 1-26 asking prices over the last 3 years or so and, yes, $10,000 is in the top of the range. Some of these may be duplicates.

$3,000 "projects" 2xA versions; 1xC version
$4,000 4xB
$5,000 1xA; 3xB; 5xC
$6,000 1xA; 3xC
$7,000 1xB; 1xC; 1xE
$8,000 2xA; 2xB; 2xC; 1xD; 2xE
$9,000 1xA; 2xB; 3xC; 3xD; 2xE
$9,999 1xA; 1xB; 1xC; 1xD; 2xE