Glad to hear its going again - but as with above posts, the damage has already likely to have been done.

Tell him to get it traded in before the pump gives up