“puerto rico mug”