Well that is all good news. Thank you very much.

I think I did ok then as I picked it up at my local coin shop.

Oh, for .75 cents in the junk bucket.

Thanks again, Dennis