Whoa.... we're confusing ourselves w/ two separate 5-year rules. One applies to excluding years of service. The other applies to the buyback option relating to forfeitures. They work separately from each other.
See Code section 411(a)(3)(D)(ii).
QUOTE
...The plan provision required under this clause may provide that such repayment must be made
(I) in the case of a withdrawal on account of separation from service, before the earlier of 5 years after the first date on which the participant is subsequently re-employed by the employer, or the close of the first period of 5 consecutive 1-year breaks in service commencing after the withdrawal; or
(II) in the case of any other withdrawal, 5 years after the date of the withdrawal.
As the earlier date for the case in question here would be counted from the date of the withdrawal, and as the withdrawal occurred in 2007 (per the original post), the employee has time to repay the withdrawal and have his forefeitures restored (at 0% vesting).
I'd suggest a review of your plan text, specifically the section that describes the buyback and any limitation on how long the participant has to complete the buyback.