Update. I called the local bobcat dealer, $270 for the timing belt kit and head gasket. Called the people from the link Old Machinist gave me and their cost is $160, plus they will rent the tools for 10 days for $200. I know the engine is in time, and I made timing marks on the camshaft gear and...