Mordacain
Formerly 1-watt brigadier
Mmm, me too, which was ORIGINALLY why I discovered ET Guitars. But then on their website they claimed that it would only be about $3000 for it in Australia. Including shipping and everything.
I can't say about ET's quality firsthand, though I did peruse them for possibility of a neck replacement when I had an RG1527. I have heard very good things about ET though.
Carvin is quite high quality. I'm not sure if I would put them dead up against Custom Shop quality but for semi-custom work its very good (better than anything I currently play).
I think more important in your decision making process here is which neck will you be more comfortable with? Carvin's necks are decidedly bigger than the Ibanez profile you'll get with ET. That's what I would use to make my decision were it me.