Pentosin coolant v. Porsche coolant

[Samson]

I searched and searched for the answer to my question (and probably missed), but couldn't find anything concrete.

I'm going to flush the cooling system on my '01 soon. It has the original factory fill (forget the color) and 19k miles. Porsche coolant is $23/gallon at Suncoast and Pentosin is $12/gallon from many sources.

Say I drain the coolant, run some distilled water in the system until warm, drain that, then fill with new 50/50 coolant/distilled. What coolant should I use? They are both recommended. It's not that the $20 is going to break me, but I don't like wasting money, and that $20 will buy beer. I suppose my real question is has anybody used Pentosin coolant? If so, have you had any problems?

Thanks!