Mechanic help please?

Yes take it to a radiator shop and have them check it over... If it does have more leaks, better to find them now than later after more damage is done... About $100.00 to have it flushed out... Good luck, they are a very nice car...