I don't have heavy duty cable cutter like the one you linked to and as John says for very light DIY use the CK ones are over the top. Even 10mm t&e can be cut with ordinary side cutters, just do two or three cuts I'd don't try to cut it all at once. The red and yellow handled cutters I referred to came from Lidl a year or so ago