Yeah, I still reckon two good players for around $2- $2.5K each outdo a top one for $4 - 5K. Some will disagree but that's the thing about pinball. It probably depends a bit where you are at in your collection, too. Apart from a certain pin which I am sure you can guess at by now, I wouldn't see myself paying top dollar yet.