I just got an old spice mug on ebay. I can't tell for sure, but I think the two ships are decals of some sort. Is it okay to stick these puppies in the dish washer, or is there a risk the decals or whatever the medium of the ships is will come off in the wash? Mine's pretty grimy.