I think its 750 - like I said I raise it a bit around 850 to accommodate the fans and lights draw on the alternator since most don't have nice 250amp alternators that charge fully at low RPM, street cars don't usually suffer that and but use AC kick to turn the idle ton850 when the AC is on, so I follow that philosophy
I Quirk of Holleys they Hate low voltage and get really finicky and won't even start at 11.5v relaiably