Coolant question

[baby911]

Hi everyone,

I went to my local Porsche dealer and talked to one of the parts guys and I was going to buy a gallon of coolant since my water pump broke and all of my coolant leaked out, however, there was an issue.

The parts guy told me that all Porsche coolant is either red, pink or blue if its an older model.

My coolant is green when my water pump broke and everything spilled out. I was told that I need to drain and flush my whole system before putting the red/pink Porsche coolant.

Do I need to flush the green coolant before putting in Porsche's coolant? I've read online that the 2000 Boxsters came with green coolant, but I would like some additional confirmation on what to do before I mix colors so I can prevent any problems. Can you guys provide some insight for me on what I should do? Thanks in advance!