The regulators come in various sizes, from the small TO92 packages, which
can deliver 100mA, or the TO220 packages which will deliver upto 1A. If the
spaceships are metal, that will provide an ideal heatsink for the TO220
packages. I recently did a job on a JVC DVD player, honestly MR. JVC, who
would put an MPEG decoder IC on the bottom of a drive with about 2 mm of
clearance for air and wonder why the thing has a hissy fit after 40 mins of
playback or so. So not able to heatsink / superglue a heatsink on the top of
the chip, I superglued a small fan onto the mainboard, bolted a 7812 onto
the fan's frame and ran 2 leads back to a +24 V rail, dropped a cap across
the +12 / GND and thing hasn't played up since.

Paul