Bought a broken Takeuchi TB135. Here's the repair

I found this little excavator with a blown head gasket and water pump. Here's the repair