If the user just wants to get work done and doesn't care if they have the latest thing, why not CentOS?
But yeah, for some reason, on our servers, it seems to work solid, but here it's not very liked as dev distro.
As far as it being a server OS, well..
'In July 2010, CentOS overtook Debian to become the most popular Linux distribution for web servers, with almost 30% of all Linux web servers using it.[15] (Debian retook the lead in January 2012.)'