I'm in Hawaii and will move to OC in December, but do OC Costcos have the all-beef hot dogs like the Hawaii Costco(s)? And we had onions & relish, but no sauerkraut. ;) The hot dog was "plus" sized (extended past the bun) and came with a 20oz fountain drink (which we declined) for $1.50.