I’ve got to replace the water pump on my 2012 9.8 Tohatsu. Has anyone done this, and can I order a repair manual somewhere?