What about a switching regulator? they are usually quite efficient and don't require an heatsink. 250mA is not much, and I'm sure that even an LDO (low dropout regulator) could perform well. 7812 has a large voltage drop and tends to heat.
You can look at the catalog from TI, Maxim, ST and others, they most certainly have the device that suits your need (i.e. TL750M12 from TI in TO220 package)
Bookmarks