Package is out. Essentially 12 months if you have more than 15 years of service.
Keg, what you say is correct, but that's the generous interpretation. To be factually correct, it is 9 months for the redundancy. The other 3 months is pay in lieu of notice.