manufactured, get the 800. If you want the most bang for the buck, get
the 7600.

I would like to get the 7600 (besides the clock, what's upgraded in the
GR?), but I'm unable to find one moderately priced.