So my wife was driving our 04 Mazda 3 2.3 on a long trip when apparently the water pump pulley fell apart. This led to the serp belt falling off, which ultimately led to her driving the car until it would not drive any more due to overheating. The mechanic says the block is more than likely...