Was this recent? My Costco still had Hot Pockets as of last month
As it was they didn't have it and we just ordered it from their online store.
Auto parts stores do the same thing. If you use Best Buy's web site they will tell you what is in stock at your local store and any other store, and they can pick it off the shelf for you and you can get it at the service desk.
But you don't necessarily need to go to a store. Just call their customer service number and ask them. It has worked for me ;)