No but srsly, anyone know what I could do to get a replacement 4.0 mug?