The specs say it can take up to 12V on the 'RAW' pin, the mini pro regulates the RAW pin to 5V.
What I thought might work is using the 9V power supply to regulate to 5V and 3.3V in parallel, but I can't seem to work it. My mate suggested a voltage divider.
Will keep plugging along if anyone else has any suggestions. The link above was helpful but not quite what I need I don't think.