Prior to posting (ie. complaining) I searched the specs on the A7R, A7S, and A7 II, but I overlooked the A7R II (it’s getting hard to keep up with all the variations!), but yes, it is quite out of my price range, even without any lenses.
I keep hoping that Panasonic, or Olympus, or Samsung, or Fuji, or Pentax will release something with 4K and IBIS, but so far, no luck! Excepting the A7R II, it continues to be an either/or proposition for now.
At least I have my LX100 to supplement my DSLR.

Started out doing photography at the age of 6 using an uncle's old 1940 kodak brownie box camera. At 15 years of age, I decided to buy my very own 1975 Praktica SLR camera. I now shoot with a Nikon D850. I do unpaid TFP and commercial paid work.