Scott:
I am curious about one thing...
As I understand it, there is no difference in the cost of Named Users between Portal and AGOL.
Same pricing structure, is what I was told. (licenses are not the same though.)
Curious then as to why AGOL would be cheaper for you?
I would have thought the exact opposite... You don't have to spend time administering, standing up the hardware, etc...