Yes, I've had one before, Mint w/cards as well. Ran it in the bulletin 3 months and also took to Gettysburg last year all without sale. Sold it within the past year to a new '55K Owner. I'd say there aren't many out there; am aware of another KF member who has one as he and I talked about them. Inside the front cover there may be a notation about the number printed...can't recall.
Can't imagine there were that many originally, but yes, they are real and out there. Mint '54K Owners Manuals w/cards also seem hard to come across these days...
Mike