Hey so I have a G35 I bought not too long ago and it's 2007 G35 Coupe. I'm trying to buy spark plugs but I don't know which one to get. I know it's still VQ35DE with uprev unlike the sedan which is VQ35HR. Would these spark plugs fit? Amazon says it doesn't but I thought it would because it's still a VQ35DE. Thanks!

Edit: I have a manual transmission

NGK (6240) PLFR5A-11 Laser Platinum Spark Plug, Pack of 1 https://www.amazon.com/dp/B000BYERBI/ref=cm_sw_r_cp_api_KV.Exb6GXWXCF