Does anyone know who makes the 54" mid-mount mowers that are sold with the Bobcat CT120 tractors? I am wanting to get an operators manual and haven't had much luck getting it from Bobcat.