I took a look at Thinkwell. So JHU lectures for its online courses use the Thinkwell lectures? Thinkwell is a lot more affordable but you have to pay for each class and they have 6th, 7th, 8th grade math before Algebra. Then there is a separate Pre-Algebra course that must be geared toward 9th graders who are not ready for Algebra.

In our district, students may take Algebra anytime from 6th grade to 9th grade. I believe 8th grade is probaly the most common. I am not sure whether they are as strict about the "at least 2 years ahead" to accelerate when you get to that level. Theoretically, DS would have to pass Algebra 1 to start the course on Pre-Algebra.

DS took the 6th grade test in Aleks and CTY and passed both. Does Aleks use lectures? At this point, I am debating between CTY and Aleks (maybe with Thinkwell lectures thrown in).