So it was driven 16k from 1985 until 1998-ish and has been sitting ever since? How do you know it has 16K? Curious...