Oh, I guess I should have mentioned, we have AOPS PreA and have dabbled in it over the past year. He also adores Alcumus and has gotten to green or blue on several topics in preA, including all of the geometry section. So I thought that PreA might feel like old news to him, and that the (admittedly what I understand to be intense) review at the beginning of Intro to Alg would suffice. But I showed him the pretests and he was intimidated by the Algebra one; I showed him the PreA text and he thought that looked great as long as he can skip the stuff he's truly confident on and go at his own pace. So that might be the solution for us! Thanks for the input!