That's the one, lovely pencil.
Had mine for years and still good as new, been dropped, thrown, kicked, glued, binned, drowned, burned you name it.
I got mine From big Jim, same place yonks ago when cost wasn't a consideration but don't think I paid that much.
Still have a few kits left in drawer might put them together and give em away init?