About a year ago they were selling mugs as you describe on eBay. They were
twenty dollars each. However, these were newly manufactured reproductions.
I do not know if they are still on. I did find one that was made from the
50's made by pyrex or corning. The URL for it is he
http://cgi.ebay.com/ws/eBayISAPI.dll...532897 5&rd=1
and is described as a WW2 Corning Army Navy Military shaving mug cup WWII
Item number: 6535328975. It has 19 hours before end of auction. You can
also buy one with the navy logo on it from this URL:
https://www.mysticarmynavy.com/item....es=no&ID=4 52
Hope that this helps and I hope that your friend made it. I lost my Father
a retired Chief M/Sgt in the Air Force 28 Dec. 2003. He was 81 at the
time. He loved these mugs to.
Take Care
Thegrayghost