OH-- i'd never noticed those before! I only first saw it in a
catalogue for nsk tools; thought it was unique. Being made in Japan,
it cost $450, or maybe $200 2nd-hand when it comes up on ebay. I'm
sure it's better, but not $180-$430 better! I'll get the HF belt
sander and replacement belts :-)

-Bernard