I regret not being able to help more directly on a technical level, but if I can manage to facilitate something through some polite negotiations, that would be a lot better than nothing!
Regarding that... do you by any chance have a contact who knows about 8-bit BBC BASIC licensing? I know the 32bit ARM variant is open sourced, but so far I didn't manage to find out if that license applies to 8 bit BBC BASIC as well.
(a little bit of background: I'd love to see BBC BASIC running natively on the MEGA65 platform. And since – despite all my lobbying and pleas and reasoning – no one seems interested, I guess I'll have to do it myself Porting the BBC core so that it runs on the FPGA surely is nice and all, but it doesn't bring the MEGA65 platform forward. We need this stuff running on the MEGA65 natively, and it's definitely doable. So I'd like to do it. But first I have to know if it's legally ok to do so. There's nothing worse than spending months and months of work, only to have it screwed up by some lawyer...)