Going forward, it looks like the ZED-F9P modules are the way to go. They work with multiple frequency bands simultaneously, so they can get an RTK fix much quicker than the older L1-only units like the Emlid Reach RS+. Also they do the RTK processing onboard, so all you need is to feed RTCM to one of the module's UARTs, and get serial NMEA out, either over USB or UART.
I bought some units (without antennas or radios) from SparkFun for about $220 USD a piece. Antennas can be purchased from Digikey (Sparkfun doesn't have any L2 antennas yet). Alternatively you can by the SimpleRTK2 modules from Ardusimple out of Europe. Either way you'd need a radio link between the modules. Ardusimple offers some units that work with their modules for shorter ranges (a couple of km). I'm planning to use Digi XTC radios (these are SX or SX Pro radios with the hopping firmware installed) with a 1 watt transmitter on my shop which should reach at least 5 miles. Right now they aren't quite as slick to set up as Emlid's Reach RS+ GPS units. You'll have to use U-Blox's U-Center application to set parameters. But I imagine when Emlid starts using the F9P for their GPS receivers, that will be slick!