Interesting, you're first that I know with blue PCB/128K card. I've flashed many 8800 and what I know for sure, that all green PCB are 128K.
What do you think: is better to grab green reference card that is confirmed to work or buy blindly blue PCB cards with hope "this is the one"?
This is what I meant.
Read this and EFI32 thread patiently from teh beginning and you'll see that all (or almost all) reports about blue PCB cards are telling: it has 64KB chip. But if at least you have one with 128K, it's good for you (and maybe for others too someday).
Don't get me wrong, but I think, you've done piece of good work that nobody needs now 🙂 - like people are saying in my country. Don't expect many responses and co-operation though, because most people now are finding 8800 obsolete.