I dug out an old invoice to see how much we paid for these. They are almost £100 new, and we only bought them last year for a job when we had more hands than tools!
It is the larger one of the two, and does upto 20mm dia cables.
I wouldn't be able to let it go that cheaply TBH - more like £50