Another good source for RTK receiver stuff could be https://www.ardusimple.com/

I was once going through the same process and considered buying from them. But then a more official survey turned out to be rather cheap so I did not have any need any more.