and a likely royalty of 1-3% of overseas sales won't add up to much.
I wouldn't worry about the product names. Whatever you want to call them, there is no sales, period. That has been the problem since the beginning, from the ice cream trucks to kiosks to billboards and the brand ambassadors, no sales. I wouldn't worry to much about trademarks at this point.