I'm thinking about what to do to supplement my soon-to-be 11-year-old's math education next year. He's finishing up AoPS Algebra 2 right now, which he did in person at an Academy location. There were good things about it (challenging, fun) and not-so-great (not the ideal approach for my very theoretically oriented munchkin, maybe too time-consuming for his first year of middle school and the increase in homework load). Has anyone tried EMF or eIMACS? I like the idea of approaching math from a different angle rather than just moving forward.

If you did try them, besides general impressions:
- Are they fun?
- Is there any benefit in going through EMF for someone who already grasps the precalc concepts?
- Is it worth the money (either program)?
- Does the eIMACS course actually apply the logic to math like the EMF one does, or is it JUST logic? I'm kind of worried that what would be most appropriate would be an EMF-type course only more advanced, which doesn't seem to exist.
- How much time do they take, day to day?