Any idea when the Death Star will be discontinued? It's been around about 4 years...way past normal set lifespans in stores. Thoughts?