Thanks for all the suggestions. The yoda is very tempting, but I ordered a jd40 this week so not planning to buy anything else for now. Meanwhile, I found something very simple that may work for me. There's the app I use to customize keybindings - it's called Karabiner (https://pqrs.org/osx/karabiner/) - and I just found this flag on it:
Show Image
(https://dl.dropboxusercontent.com/spa/6f6p31rqk1cfe43/61lz-kb5.png)
With it, I was able to do this:
Show Image
(https://dl.dropboxusercontent.com/u/8178/hhkbmbp.jpg)
Now all I need is a 6" cable. Ordering one from pexon now.
:thumb:
Nice :) I think he also has some of those little 90 degree MiniUSB adapters, so the cable doesn't have to scrunch up against the screen, but I can't recall which way they bend according to the HHKB plug orientation. I have a few of his cables and love them. Very nicely made with attention to detail.