Hot restarts on my and a colleague's 912 powered a/c has been happennig fairly readily this hot season.
One 'solution' is to crank vigorously at WOT till it picks up then quickly throlle dttln to sensible rpm.
Usually works even if not quite orthodox.
mike hallam