ok Bill, someone has clearly told you some very wrong stuff, it isn't necessarily your fault, but you have to come around to this, especially as a technical instructor because this is literally the basis of the ideal gas law where PV=nRT
We will use Faber tanks because they are the only new ones available, and we will assume a linear capacity increase regardless of fill pressure.
You mention HP100's with 25cf taken out of them, so that means they are at 3030 PSI, and now hold 193cf. Crossing over from an AL80 will do nothing which was your point.
Unlike you, we will actually compare that to the low pressure equivalent, which are the LP85's and hold 83.5cf at working pressure. If we fill those tanks to 3030 psi we get 83.5*2*3030/2640= roughly 215cf. Some rounding errors converting from imperial to metric, but they are the same nominal capacity of 108cf, and they have to be because they hold the same water volume. Please also remember that when below the working pressure of that AL80, because the LP95's are bigger tanks volumetrically, they will have a lower increase in pressure when transfilling.
You are also carrying a tank that is 3lbs heavier than the HP100, and if you are having to wear lead, you have an extra 2lb buoyancy disadvantage which means your total rig weight is 5lbs heavier for the same nominal gas volume at working pressure. If you compare the LP85 to the HP100 which is the fair comparison, you realize that while the HP100 is 3lbs heavier on land, it is also 3lbs heavier in the water so the total rig weight is identical for both of the tanks. The advantage you have of the HP100 is never having to fight a dive shop to fill over the working pressure to get some extra volume. Same math applies for the LP95 vs the FX117 which are nominally identical tanks where the FX117 is 1.5lbs heavier on land, but is also 1.5lbs more negative in the water so net weight change is 0.
To follow your example set above. A set of lp85's filled to 3442, with 25cf removed will be at the exact same pressure as the FX100's. Thus, the only reason to ever choose the LP85's over the FX100's is if the 3lbs/tank more negative of each FX100 is problematic either on land, or in the water. Many cave divers will continue to choose the LP85's because of their buoyancy characteristics, but there is also no problem getting 3600psi cave fills. If I was diving in cold water where I needed that extra ballast, or diving in a location where cave fills weren't possible, then there would be absolutely nothing that would convince me to ever purchase a LP tank if I had the HP equivalent available. The problem is instructors and divers will often talk about the same math that you just did, but since you aren't comparing equivalent tanks, the argument doesn't matter. Tanks of the same volume will hold the same amount of gas at the same pressure regardless of what their nominal capacity is at whatever working pressure the manufacturer determines. That is the absolute basis of the ideal gas law. You are not comparing vessels of the same volume, and because of that the argument is irrelevant.