Soldato
"My budget for this is around £9000."
Spend max £2000 and be happy with it. Pocket the rest. Spending more than that is just a bit stupid. Put about £500-£1000 in a 7.1 sound setup, because little point getting a PC and making do with PC squeekers
I'd say there's room to make sure cooling and storage is on point and push the boat out a little.
Otherwise though, aye.