Anyone considering buying this, for the hot start issue, try checking the coolant temp sensor. Had that issue one of my DSMs. It always read the coolant as -200C, thus flooded the engine thinking it was a really really cold start.

Good luck on the sale!