New Header Size Twentythirteen Wordpress

So we have the new theme for WordPress, twentythirteen. It looks really nice, and definitely fills out some responsive features.

But what if you wanted to change the header image and make it a logo, like so many of us do?

Well it isn't as easy in twentythirteen, and here is the quick solution I found out.

I still want to shrink this down and will update it if I can.

Enter that into your functions.php file and it should change the image width and height to the ones specified in the code.