I think its a deal. If that's the car you really wanted, its worth it. I like CRXs too (mad JDM y00). Most CRXs I see are pretty much junk, so its nice to see one with potential to drive as a daily driver or even "hook up". I realize this is a fuel economy website, but if you like the car, who cares if some other car gets better fuel economy?
I paid $2200 for my DX, has a couple of issues but new paint, came with 5 spare tires & rims (already mounted & balanced), zero rust, all 11 tires are brand new. Also brand new 5-spoke black rims on it. My car looks nearly identical to yours although has different rims and already painted the proper silver color.
__________________
Looking to trade for an early 1988 Honda CRX HF (Pillar mounted seat belts)