I don't know exactly about the craftsman version but be aware that you need a decent amount of water pressure to use one of these nozzles.
I bought one from autogeek for $20 a few years ago and I rarely use it unless the clients house I am working has better pressure than I do.