After all the research I could handle for one day, I'm fairly certain that if these do exist, very few of the "standard" consoles would contain the WBEXEC. I highly doubt INTV was producing more than a handful of boards by the late 80s. It wouldn't surprise me if we're talking the low 100s in terms of Super Pros that had this board, which means maybe a dozen or so have survived and are accounted for by collectors at best.
Especially because nowhere in years of variant collecting, screenshots, etc, has this rabid community ever once mentioned a different font on startup.
I'm waiting to see even ONE of them from the local crowd before I accept this as anything more than a collapsing Lupin