That guy is selling off a fair few machines right now. I know when I looked earlier he had a shopped Elvis for around the £2k mark which given the condition seemed a reasonable price (I spotted one with a topper which went for a shade more a few weeks back). It'll be interesting to see what that goes for at the end.