Add $5000 for 252 and you have $13000.  You said just the autopilot.  Guess I needed more info.

I guess I would not buy a autopilot and run on WAAS.  I would just use an EZ steer.  You pay for what you feel you need.

I have a hard time seeing how RTK will be better for us than HP, so I supose it is the same as you justifying a hyd. steer over ezsteer.