Simple question... I bought a new Sears riding mower (finally) and it came with a gadget to attach a water hose to the top of the mower. My old one (over 20 years) did not have this and the new manual says nothing about it. Of course it has to be for cleaning, but what are the details of how to use it and how it works????