I'm after just F1–F12 in printed green, but having no luck – someone's just noted that it's not likely that anyone would buy the printed sets from EK for an HHKB (wherein they'd have F1–F12 spare amongst many other keys), so maybe this is a hopeless dream.
I would much prefer that to red modifiers (not least because I wanted red (esc), green (F1–F12) and blue (printed arrows)), and $33 is a bit much for keys I don't want right now, but Topre is so hopelessly poorly supported that your modifier set may be the only keys I can get hold of short of blowing $220 on two not-even-in-stock-and-no-ETA-either printed sets just to get 16 frigging keys!! Man it's just like owning ALPS.