Dixie chopper wont crank when hot

[bertsmobile1]

2005-2006 models with 30 Hp Kohlers & 60" deck
Not sure of the model name
AFAIK DC do not have a local distribution network
My customers got theirs from a farm tractor mob up north who I think directly imported them
Never been able to find an owners manual nor IPL that matched what was in front of me .
But just about everything I have needed is available as an after market part and the few bits that could not be sourced came from Jacks Small Engines .
The mercury switches were the first thing that really gave me grief .

 

[hlw49]

What model spec. and serial no. 30 hp engine. That engine has to be a replacement engine those year models never came with a 30 hp Kohler some came with 30 hp Generac but they did no have the low oil no start sensor. D/C has a consumer site https://www.dixiechopper.com it has parts manuals for lookup.