We have two separate things.
One is a 5% 401K match. The other is profit sharing. We are guaranteed 5% profit sharing in our 401K (in case the company makes less profit than that). If we do better, we get the difference in a payroll check at the end of the year.
Profit sharing Ex: 8% profit sharing would be 5% in our 401K, plus 3% in a regular payroll check (in addition to our 5% 401K match).
The bottom line is we'll get 15% total into our 401K, assuming we put in 5%.