$21,100.... there's been RH horn sandcasts in comparable condition sold in the last 5 years that have sold for that amount. still, very hard to believe at $21,100 the seller made any worthwhile profit unless he bought the core for $500 or less.
agree with Chris, the K1 is a fine bike and imho, probably the best of the 9 years the series was produced.