The owner told me it started as he saw the temp rising, then he saw the leak. His mechanic told him the pump was leaking, and now is leaking faster (he won't drive it). I'm assuming the pump is shot, and not just seals. Could there be other issues (aside from hoses)?