So Aladdin
is part of the Diamond Edition line now? And if it's out in Spring 2013, what does that mean for Peter Pan? I thought that was set to be released as a Diamond title at that time. Still, great to see that Aladdin is finally getting a Blu-ray release!
