Hallo Peter,

Normalerweise kostet die Radmitnahme im Trenitalia-Intercity € 3,50. Nennt sich "supplemento bici" und beinhaltet die Reservierung. Ich habe aber auch schon erlebt, dass dieses supplemento kostenlos war, wie offensichtlich bei dir.
Das war erinnerlich anfangs bei Einführung dieser IC-Verbindungen so und ich glaube, es war/ist aktuell auch saisonal noch so.

Ich denke, du hast alles richtig gemacht.

Hans