My dealer told me that Hustler makes a OCDC for their mowers. Is this true? The subject came up when he asked me if I was going to leave my mulch kit on, I told him only until the leaves are gone then I am going to put a OCDC on it. He then tells me that he has one in stock, I ask him the brand and he said Hustler. I couldn't see it, because he was at my place when we were talking.