HPS140i firmware availability

Hello friends

I have HP140i few years and I am happy with it. But now it was damaged by static electricity.
Seems that MCU (dsPIC) is faulty. I can repair HP140i by replacing dsPIC, but the problem is firmware.

I would like to ask you if you can provide me the latest firmware in HEX file or BIN or any other which I can burn to the MCU by programmer (PicKit3 in my case).

May be you can make the firmware publicly available via Github now (with or without source code) when HP140i is not in production (replaced by newer versions HPS140MK2).

But I am not sure if it is possible with respect of other aspects (licences, business model, etc.).

Best regards