Thank you for the clarification - that's freaking solid at least by American standards. Some of our best retirements are with the government and higher education and they do the 10/5 match (its up to 10 percent assuming you put in 5).