they cannot include the ticker symbol w/o their permission but if the product is in fact selling at walmart they can certainly PR that