Sounds like a great system for around 15k. Here in the US you can get 8k.1 for what you would pay for relatively new 5200SE's. This would give you a good upgrade path if you found that your taste for music with such a good system increased well above your stated 20% level.
Gary

Main: 800 with LPS, 861v4, 818v3,8000.1SE, 96/24-6k C, 96/24-5k sides, DSP33 rears, M2500 + Velodyne 12", QNAP-MS600, Ruby, PS3, HD621, Oppo.
Games room: G68J, HD621, M33's front, analog ceilings rear, Velodyne 10"
LR- 6k 24/96, MS200, 800 with LPS