I Know There Is a Place Here for Sales, but quick Roamio question

So what does everyone think is a fair price for a Roamio Plus with a 4TB drive with Lifetime? Have two and thinking of selling one and buying a 4 tuner Roamio OTA with no fees for the majority of my broadcast network recordings. Besides, we got to the point where we needed one more tuner than 8 back in the day, but keeping a Roamio with 6 tuners and then buying an OTA with just the four for a total of 10 perfectly fits our needs and allows us to drop one CableCard fee. Hoping for the 6 tuner Roamio Plus/lifetime with 4TB to definitely pay for the $400 Roamio OTA plus an upgrade drive purchase or at the very least the Roamio OTA price alone.

Thanks