Ya know Todd, I don't remember. I think it had the EB on it but it's been a while since I've seen one on eBay.
I'm interested in what was actually in one of those manuals. Does the one you have explain driving tips or what?
Just more of a curiosity than anything else, I guess.
Mikey