you are correct, raw only records native iso, which is 100,200,400,800,and 1600.
80,160,320,640, and 1250 are made with negative digital gain, so don't use those for raw. However, these are the ones that give less noise with h264 so DO use them for h264.