Is there a Movie Player or Filter that lets you resize a movie in real time while you watch it (no re-encoding required)? I'd like to make a widescreen movie take up the whole screen so it displays properly on a widescreen TV and I also have a movie that's too squatty that I don't want to re-encode.