In 02 hard top was included, in 01 hard top was an option. The 56-57,000 seems to be a realistic number more towards the lower side, for a one owner. A 2001 private red with 1500 miles was 57,000. I bought the 2002 red with 1933 for 56,800 out of Tennesse, with the factory warranty. Odd thing is...