ORAC, just a minor point; you are spot on about the King's Bay pooled servicing arrangement but our 2D5s are fully bought and paid for, as per the Trident Amendment to the Polaris Sales Agreement. The missiles in the post Upkeep Outload just don't necessarily have the same Serial Nos as those landed pre Upkeep.
My, how we miss Adml Alan as 1SL. I wonder if his documentary security skills have improved since '86?