i think they are shipped. but no stress on these as they are available in good numbers, so shouldn't be too expensive from resale market. maybe even cheaper?