The approach I am currently taking is to use a generic receipt printer available from our favorite inexpensive electronics producing country, along with a 'blue pill' development board, and some other actives/passives for the IR interface. These parts are on the way, though it will probably be a month or so before I have them in-hand.