No need to worry about that, Craftsman was sold...last year, I think to Black and Decker. They are available at my local Ace
Thanks for the tip.