I'm sure you right; HDInstTools is nowhere near the HDToolBox on WB3.5+, but it worked for me, obviously, since I used it exclusively on my KS/WB 1.3 setup.
@Orange - I stand corrected, Thomas has strong args against HDInstTools, you should be on safe side with HDToolBox.