9500 at 90K would be great.
however you might want to consider how much you are ready to shell out for every new feature, new model etc. with each costing maybe a 5-10K incremental premium. If you are ready with 90K for 9500, couple of days later you might think of the next model at 100K (just 10K more
). So how far are you ready to go from your "baseline" ?
And also consider if that will enrich your viewing experience in that ratio overall. I don't mean to preach buddy, but let's not get ourselves into a race while the companies laugh their way to the bank and we consumers get stuck with a bunch of features we will never use/understand ....so choose wisely.