i think they are really far from commertial use and very hard to work with.
I think that it is fair to say that most commercial portal servers are hard to work with and have their own problems too. I have looked into Liferay, which has been deployed into production
and seem to have a lot of support from the community (there are several discussions on serverside). They also have the best documentation
that I have seen for installing and customization.
And from the research that I have done, if you are looking for open source, you named the leaders of the pack. The only other one that I work recommend looking into is JetSpeed2
At least with Open Source solutions, you can fix the problems that you encounter.