Product theme logo size

https://premium.wpmudev.org/forums/topic/size-of-header-graphic-in-product-theme

The above thread says that the product theme logo size is 282 * 100 pixels but when a graphic designer sends the logo back to me at that size it is large. Just checking... is that the correct dimension?