This is an iron head engine. It is almost impossible to blow one of these head gaskets by overheating, especially if it only got to 115 C.

If it ain't broke, don't fix it.

Just see if there is coolant in oil or vice versa. If not, fix the cooling system, fill and be happy.

Good luck,