In the UK, Virgin Media uses UK Ministry of Defence's 25.0.0.0/8 for CGNAT

Given that there don't appear to be any BGP announcements for 25.anything, is it possible that the MoD uses this address range internally, or not at all, and has agreed to continue to do so?