Bosch's heat range is the opposite to that of NGK. An NGK 7 = a Bosch 5.
I looked up the OEM double platinum plug on NGK's site and it's a 7, which matches Bosch's OEM heat range of 5.
The NGK BKR7EIX seems to suit these engines extremely well, running noticeable smoother at idle than most other plugs I've tried.
People fit them thinking it's 1 grade colder than stock, but it isn't.
Don't be tempted with 8 and 9 range plugs, or gapping. Neither are necessary if the engine is tuned properly.