I’ve got an ancient HEQ5 that powers along nicely with a scope almost identical to yours. Never seen an AVX up close but the HEQ5 gets a
from me.
Another consideration is that if you plan to do astrophotography you can control the HEQ5 via EQMOD which is really nice to use.