Thanks for the info.
I haven’t worked out the details with Justin yet, but there is no GMK mold for Yoda. As I understand it, we have to send the keycaps to TEX so they can machine them themselves.
Buyers of the Extension kit will opt in or out (of the machined keys), but they get the extra GHB keys regardless.