I’d be very surprised if it wasn’t far off 3.5-4 grand. 2 grand of which would be the last 17. Probably more if you sold off individually or in lots, although that’s potentially more hassle and postage costs.
I have a loose ‘complete’ set myself and I do think prices have peeked for now. Maybe episode IX and tv shows might pick things up, but I get the feeling things like the retro collection, high quality reproductions, and lukewarm response to the sequels have all dampened the market somewhat.