Figure on spending at least $1k if it's just a blown head gasket. Money I wish I hadn't spent.