(full disclosure: I work for Leica Geosystems.)
With real-time kinematic service, our GPS receivers give you 8mm horizontally and 15mm vertically. And you will get 3mm hz and 4mm vertical with post processing.