static RGBImage rgbScale(RGBImage img, double scale) {
  if (scale == 1) ret img;
  ret new RGBImage(scaleImage(img.getBufferedImage(), scale));
}