Good news: I sent HB my payment info this morning and they are about to process it.
If there is any need to program the unit, some software tool is needed and Extron said they'll allow me to download it. But using it may be tricky, though I've configured loads of studio equipment for broadcast stations over the past 20 years, so I don't think setting custom resolution would be a problem. Just need to have the EDID report 4096x2160/60 to the PCs. Oddly, Windows detects the Sony as 1080P, so any time it turns on, it sets the resolution to 1080P and I have to go and configure nVidia control panel to 4K resolution. You would think Sony would report native resolution as 4K not 1080, but go figure!
Thanks for your offer to provide tools and assistance!
As an aside, I just got the Oppo UDP-203 in yesterday and got it set up. Looks like they took a lot of my suggestions about the BDP-93 and implemented them.