Questions about my Pop’s Trek

My Dad would like to sell his old Trek. Trek reps said it is a 1983 Trek 520 but my Dad remembers buying it in 1980. It is completely original and always stored indoors so its in great condition, he'd like to sell it he says. Any information would be great!