Pretty good deal, even if they don't all have manuals. Even so the manuals aren't hard to come by, those games are pretty popular (albeit high demand). If you do need them... I'll be getting my game inventory list in better shape in the next week, so if I have any extras to sell you I'll let you know. I will try to avoid getting involved in the back and forth price discussion, so I'll just say this: When trying to determine if you someone got a good deal or, I think it's more relevent to look at low-end/average price that a collector could have bought it for, rather than the high-end price a vendor could sell it for. Unless you're buying purely to re-sell.
So that considered, I still think you got yourself a good deal, Murdock.