I wouldn't worry too much about the leak, let it develop and enjoy the car
If it gets worse then you'll be able to see where it's coming from, it's not going to do any damage
Head gasket usually leaks from further along near 1 and 2, if it's gasket then just use it till it's fooked and then swap it.