I am about to order replacement Diner coffee cups from a guy on Pinside who has made repros. They are "slight seconds" with minor blemishes, but should be much nicer than existing old and yellowed ones, and cost $110, compared to $250 for his perfect ones. Plus shipping and any import duty. Anyone else want one before I order tonight?