I have one Record headset using the fancy spacer and interestingly and annoyingly, when I cinch down the top nut, using a set of Campy wrenches, the wrench gets pinched and stuck so that I can’t remove it. With that experience, I would use an extra spacer before filing down the steerer.
__________________
N = '96 Colnago C40, '04 Wilier Alpe D'Huez, '10 Colnago EPS, '85 Merckx Pro, '89 Merckx Century, '86 Tommasini Professional, '04 Teschner Aero FX Pro, '05 Alan Carbon Cross, '86 De Rosa Professional, '82 Colnago Super, '95 Gios Compact Pro, '95 Carrera Zeus, '84 Basso Gap, ‘89 Cinelli Supercorsa, ‘83 Bianchi Specialissima, ‘VO Randonneur, Ritchey Breakaway Steel, '84 Paletti Super Prestige, Heron Randonneur