The 500 and ezsteer with Omni unlock will be plus 8k.  Then put what ever RTK stuff on you want.

Omni can be a pain with tree lines and convergance also but works good when done.

If you are in a CORS RTK area, Make it a point to check it out.