Thanks for the info. Clearly, the conservative approach is to use a DC-DC converter on the 12V line already on the RS-232 port.. especially that it's switched with the display! Any idea how much current that line is rated for?

Thanks for the inputs!
-Ted