I think ES2.5 also includes LiveCycle Mosaic 9.5 and LiveCycle Data Services 3.1, besides SP2, Workbench 9.5, and Solution Accelerators. Both LiveCycle Mosaic and LCDS can be found on Partner Portal. Workbench and SA can be downloaded from Adobe Developer Connection.