I’ll just blow it up to 1080p, then. Besides, I had to do the original master for this restoration somewhere between the 1080p of the feature and the 576p of the logos I’m restoring (IIRC that’s the highest resolution where you can find Toy Story with its original logos at present), and I figured the original 1.5K resolution was close enough to the median.
ETA: As for the 3D, it did get converted in 2009. I should know, I saw it on the big screen.