Hi Folks, Just bought an 03 Boxster but not collected it yet. Pretty sure it needs the coolant topping up before I drive it 135 miles home. Seller does not know what type/brand of coolant is in it. Would it be best to just top up with distilled water at this time or would 'Universal' coolant be okay? Thank you...