Permessi e ferie maturati prima dell'inquadramento come dirigente: che fine fanno?

Salve, sono un ingegnere inquadrato con un contratto da dirigente del settore industria metalmeccanica, in precedenza inquadrato nella stessa azienda con CCNL metalmeccanico. Come impiegato godevo ogni anno di 200 ore di Ferie, 40 di Ex-festività e 72 ore di ROL, per complessive 312h annue di permesso corrispondenti a 39gg. Come dirigente mi vengono riconosciuti 36 giorni di permesso annuo. Dal momento che l'articolo 7 comma 3 del contratto collettivo per i dirigenti del mio settore prevede che il dirigente conservi il maggior periodo di ferie maturato come impiegato, ho chiesto la sua applicazione alla mia azienda. Le risorse umane mi hanno risposto che le ROL ed Ex-Festività di cui godevo come impiegato non sono da considerarsi nel calcolo per determinare il periodo di ferie di cui godevo come impiegato. Vorrei sapere se questa interpretazione sia corretta. Grazie