Really tough one, I don't actually think it devalues it to me but I understand it will for some. Certainly if you were selling it post service it wouldn't for me.
Now, I'd want to pay less (say £500) than a freshly serviced one but not much less than that hadn't been serviced.