Thanks for your comment and kind words Dave. With the transformation from defined benefit to defined contribution plans over the last few decades, having not one, but two pensions is a wonderful thing, so congrats!

Since RMDs are not relevant for pensions, whatever other retirement accounts you have, at least you'll never outlive the pensions :).