Nope, just cutting raw.
I have also been running a "traditional" 4 flute mill cutter at 5000RPM on HDPE at 1000mm per minute. The result is real chips, no spirals of cooked plastic, clean finish and a great result. Just starting with this type of cutter in plastics and learning as I go.

Cheers