Separate names with a comma.
Took me about 10 seconds to come to the same conclusion. Hey, I'm there getting an oil filter, maybe some ATF-WS or peanut bulbs, one...
That would satisfy me, but because I do not fully understand specifications for coolants, I would still stick with the OEM.