BlueROV2 power circuits and 12V

I am working to connect multiple external sensors to the BlueROV2. They require 12V. I’ve looked for official schematics of the BlueROV2 electronics without luck (other than perhaps unofficial).

Is there a regulated 12V supply already available, or do I need to add one to the enclosure?

We have some diagrams available here: BlueROV2 Operating Manual

There is no regulated 12V supply.