Probably
But you have to remember, Walmart uses different suppliers and can switch at any time when economics allow. On top of that, even in different areas of the country could have different suppliers at the same time.
But 7.5 sounds in the ball park