Yes, the latest Haynes Mower manual does cover this engine. As I recall, you need to split the crankcase to slip the belt onto the crank pulley, set crank to TDC, and then remove the camshaft spindle to pass it over the cam pulley. Refit the spindle. The cam pulley has marks to align with the top face of the head, at TDC... set both camshaft and crank to TDC, and then slip the belt into place..... but check the book!
Highrange, May 2008