Dean has earned $70,000 annually for the past five years working as an architect for WCC Inc. Under WCC's defined benefit plan (which uses a 7-year graded vesting schedule) employees earn a benefit equal to 3.5% of the average of their three highest annual salaries for every full year of service with WCC. Dean has worked for five full years for WCC and his vesting percentage is 60%. What is Dean's vested benefit (or annual retirement benefit he has earned so far)?

1. $7,350.

2. $0.

3. $12,250.

4. $42,000.