Apparently, these are bitwise identical to firmware of DEC Pro controller Rev.1 (P/N 54-15134-01) -- ROMs 071B2, 072B2, 073B2... wonder if DEC published firmware source for it?