I looked into whether or not I had any NHS pension from the years I worked for them, (1991 to 2003, with a small break.)
Turns out I have a small fund, which will pay £3463.00 pa and a £10,300.00 lump sum on hitting retirement age, or £3037.00 pa and £9,500.00 lump if I were to take it now. (age 57yrs,)