If you are seriously thinking of spending that much on a TKL board, I would recommend considering an IBM SSK, which could cost a good deal less on eBay. I recently purchased one on eBay, and I am very pleased with it. Like the Realforce 87u, the SSK is one of the few TKL boards that has an embedded numeric keypad and embedded cursor keys along with its dedicated cursor keys.
I have also tried contemporary TKL boards, including a Ducky with Cherry browns and a Filco with blues. After replacing the keycaps on the Filco with a legible white and gray doubleshot set, i like it fairly well, but not nearly as much as the IBM.
At the moment, I am using a new Leopold FC660M (with Cherry blues), which occupies a middle ground between a TKL and 60% board. It has dedicated arrow keys and a highly intuitive Fn layer. I like it better than the Ducky or Filco, but not as much as the IBM.