The EverCool uses a Texas Instruments PTR08100W switching regulator. Input voltage 4.5 - 14 volts. Output .7 - 5.5 volts. Better than 90% efficiency. You can get it at Digi-key.com or a free sample from TI. Doesn't even get warm.
the first one i cant find, the second says max output 6v. id like to be able to do more. if you meant the ptr08060, it says max output 5.5v. i use my prodigy at 6v, and sometimes i feel like i may want a little hotter. also, i may be wrong... but couldnt i just use a pot to just trim down the 12v? id say highest i would want to go would be 7v if that