Yes, but does the Arduino Mini convert 9v > 5v inside of it for use on sensors & digital pins? I was looking at the schematic and there's something that does some kind of conversion in the top left of that PDF of the schematics.
The USB board is the USB stamp that is used to interface the mini to a computer.