Dynamics GP and SQL Server Licenses

Hello,

Current version of client is GP 2010 and SQL Server 2005. They already have registration key for GP2013. We are planning to upgrade to GP2013 and move GP database to new Server with SQL 2012.

My question is do they need to buy SQL Server 2012 license? Or we have to download it from customer source?

Thanks

Sandip