The FX7 is probably the best bang for the buck today, although it doesn't do everything and isn't spectacular in low light. It does have Cinematone gamma but, as you said, lacks progressive.

If you're serious about a used FX1, there are a bunch of them for sale in our classified section, including two of mine. Email if interested.

I have an FX7 and an HC1 (the prosumer version of the A1u). The FX7 produces a sharper image with better color, is no worse in low light (neither are stellar of course) and is physically much nicer to handle - less '"cramped feel", with more physical buttons for control.

(I have a Beachtek that I slip on the bottom when I need XLR connections....)

I'd look hard at a Panny TM300 before buying an A1U.