The $425 that is in there is 10% of each check really...your 5 plus their match. Their match is already vested so its yours to keep. There is a 401k document on the targetpayandbenefits.com site that outlines the payout info. Savings and Retirement tab -> Plan Information Available Online -> then look at the 401k's Summary Plan Description.
Looking at that document it says less than $1,000 is paid to you automatically, $1,000 to $5,000 is automatically rolled over into an IRA they have an outside bank create (not ideal) and $5,000 they continue to hold and manage as they do now. No matter how much you have you should still be able to roll it over into another plan or IRA.
Within a month or so of your termination you'll get a letter asking you to go to the benefit site and choose your payout option otherwise the above defaults will be used. You'll still want to go on there and choose the cash payout because it might take awhile for them to automatically send it if you take no action ("the last business day of the quarter following the quarter of your termination date" according to the SPD).
It was a smooth process for me, you just have to wait a bit for it to start. I filled out the IRA rollover form on their site on a Monday and had it available in my IRA the following Monday I believe.
Summary: Do nothing and they'll mail you a check next year, or fill out a form on their benefits site and you'll get a check or rollover sooner.