First get your terminology straight. You don't scale a file. You can scale an image. It's not relevant to the scaling what type of file the image was read from.

Your code uses Picture and Pixel...