I'm running a champion 811 or L86. The bosch platinum that I tried- works for most people- wasn't that great.
I went out and bought about 6 plugs, and the champion worked best for me. Search, I posted my results, but it was a while ago.
If they won't cross reference stuff for you, tell them its for an air cooled bug-- Same plugs.