Working till end of August also puts her at 25 years, which pays a little more.
More good choices. My wife has 22 years at her current employer. She dispatched for San Diego Sheriff's Office from 1994 to 2000. That doesn't count for service at the current location.