Suggestions: Ibanez RGA742 vs HB Amarok 7

Hi,

I usually play 6 string guitars (I have an ibanez rg1570 prestige) and I want to buy a 7-string. I like to play shreddy things (stephen taranto, intervals, dream theater, etc), so I'm looking for a cheap (600 euros) 7 string options.

The two options I have:

Harley Benton Amarok 7: https://harleybenton.com/product/amarok-7-bkrd-quilted-burst/
Ibanez rga742: https://www.ibanez.com/na/products/detail/rga742ex_1p_01.html

I know that clearly the Amarok wins by specs : SS frets, Locking tuners, EMG Pickups (even tough I don't like active pickups), graphite nut, etc.

The problem is that I like to play technical stuff, with some stretching, string skipping etc. So I think the ibanez wizard neck would be more comfortable than the amarok.

Is the Amarok suited for shreddy stuff, or is the neck to thick?

(I didin't consider Shecter's because of the squared neck joint, making it difficult to acces the higher frets)