IR Board Power

[Beck]

Ok, so I've been trying to resolve this for a while now to no avail... does anyone have input on how to power the IR board?

The document they gave us says "Positive power supply voltage input. Voltage should be in the range 7-15 volts DC. Your power supply will have to be independent, for example, a 6 x AA battery pack, 9V battery, 12V battery, bench top supply, or other."

But then again, I don't think other batteries are allowed on the robot, are they? I've noticed several teams on here said they've wired this thing directly to their power distribution block, but I don't want to do that and show up to a regional and be told it's not the way we're supposed to do it (and vice versa for using a different battery) Does anyone have some insight on this?

Thanks,

--Tracy