Circulated 1988 Isle of Man Christmas 50p coin