Not quite... you're right in the sense that cooler plugs would only be suitable in engines running aftermarket software, but NGK does offer OEM replacements as well.
The NGK plugs that are suitable for use in the 2.0T FSI BPY are named as follows, with "x" representing the heat range:
BKR
XE (copper)
or
BKR
XEIX (iridium)
6 represents the stock heat range, equivalent to the OEM Bosch plugs found in our cars. 7 would be 1 heat range cooler and would be more suited to cars that are chipped (debatable).
So, for those interested in stock heat range plugs as OEM replacements, NGK BKR6E #6962 would be what you want to get. If you feel a cooler plug is necessary, BKR7E.
I have purchased my plugs from this eBay vendor numerous times, and will deal with them in the future:
http://cgi.ebay.ca/ws/eBayISAPI.dll?ViewItem&item=180467162845&ssPageName=STRK:MEWAX:IT