You can also use a switched power converter like SKU: 142488 from dx.com. This is adjustable for the output voltage that you want. Best would be to adjust for 5 volt and supply that to the Arduino. Its cheap, and you wont heat up anything. There is hardly any power loss. They have several types so have a look and make your choice.