What is the ethical thing to do?

[Lamplighter]

...(tangent- WTF? $1000 for a seal? Weren't water pumps, back in the day,
a $75 replacement job? I remember many times people saying thank god
it was just the water pump. /tangent)...

According to Repair Pal, the average cost of this repair is between $772 - $974.
But that may add additional replacements of parts such as timing belt,
thermostat, cooling systems, etc.

Timing belts seem to generate very high replacement costs.

How many times have I've thought the engineers who design a product
should have to use it and to repair it ... all by themselves.

One of my worst experiences was trying to change a flat tire on a travel trailer,
where the (provided) jack would not lift the trailer high enough
to get the wheel out of the wheel-well.