Good call. Taking a lump sum of the vacation causes a big hit in taxes and immediate abandonment of the other benefits that come with employment. Taking the PTO, you collect the money and have the benefit coverage right to the end.
Working till end of August also puts her at 25 years, which pays a little more.