I'm not sure, but he may have played Albania! Albania! in 1982 and The Official Colourbox World Cup Theme in 1986. Does anyone remember?