My non expert opinion, seeing that you got no responses.
Either would work certainly. The driver amp is overkill for an LO amp. A driver amp is designed to be in the power output path of a radio, close to the PA. At these frequencies and at its power level, it could be the PA. It's provides more power than you need but is ok. Its kind of a power hog. (3x of the VGA) The VGA's P1 db of 21 db gives you a little headroom and would do well at 17. You don't need the VGA function but its probably a better fit overall than the driver amp. The output RL of the VGA is kind of going to pot at 10G. Mixers can be a tough load. Maybe the driver amp would be best for this reason.