I've got the exact spec you're looking for, but I paid about 2 grand more than your budget. The HR models do tend to be £10k plus, but you may find yourself a rare find! If you do find one make sure you give it a thorough check though as you don't want to spend that amount of money and then find it's got underlying issues