I did actually buy a used copy from Gamestop and the game didn't come with the original box or manual. I was bummed to say the least, as I like having all the original materials just in case I want to trade it in later on.
I now have to find a local Gamestop that has a used copy in and ask for...