Midas Pro1 (which runs on Linux) or Digico SD11 (which doesn't) would be
my top choices for a small digital desk. Probably not in your budget
though given the desks you mentioned. We run Digico SD10s and SD9 where
I have always had good experiences with Soundcraft, but haven't used
their digital desks.