Just figured I'd ask here before heading to ebay. Don't really care so much if it has the registration card but would like it to have both manuals. Thanks!