Thanks for the update, Nick. Well at least it is a Stockman, even if not a 4000. Is this the correct manual?
http://www.coxmowers.com.au/wp-content/uploads/2012/08/17-8002G-8004F-8004K-Stockman-Series-2.pdf

I have only heard good reports on the Cox staff previously, so your comments fit in well with the others.