Sounds like a good deal. I sold my 6D for 850 and the 5dii tracks just below that ... with lens sounds like a deal.
Just got the A7rII - put the old Vivitar 90 2.5 circa 1980 on it and went to the wonderland
IMAGE LINK: https://flic.kr/p/xGvFZG A7RII with Vivitar Series 1 90mm 2.5 by Paul, on Flickr
IMAGE LINK: https://flic.kr/p/xGuGud A7RII with Vivitar Series 1 90mm 2.5 by Paul, on Flickr