hey Scott, I am sorry I see your post only now. I own a GL4000, and absolutely love it... unluckily it is starting to show its age, and I would change it only for a GL4800.
for what I understand, the boards are identical, except for new designed electronics inside and the possibility of dual power supply (without external combiner) on the GL4800.
I think no other board in that price range offers the same routing possibilities and all the features in general.
We also own a Midas Verona, but I never feel at home when working with it... how come that I have to talkback on ALL aux busses at once?