I guess since that washer is visible between the lock nut and upper cup you could say the steerer is a little long. The style of HS here draws attention to it, a different HS might look fine with even more spacers stacked there...and that's something to consider: if you trim the steerer to fit one particular (short) stack height, you never get that back again. I don't think it's anything like grossly too long and if the C-Record HS looks OK to you with the spacers required to make it fit, I'd keep this fork uncut. Otherwise, sounds like your LBS has the tools to do this job, if they know how then just ask them to measure THRICE and check the measurements, too, before cutting...and I'd just chamfer the edge with a chamfer tool or file as a last touch.

BUT, I want to see more pics of this Ciocc, never seen a filet-brazed one like this before, and most don't have any serial number.