Ian, how much could you reasonably expect to pay for a used 3000? And when did that model first appear?