They're definitely all sold. That has been confirmed multiple times. The last I heard -- a couple months ago -- was that one still hadn't been delivered. That was the last one and I'd guess is shipped by now.