Mike Leeder (born 5 August 1968, in Croydon, England / aka Big Mike / started working as a casting dir in 1992 for IFD) Unfortunately, I wasn't able to correctly ID him in any of these films
https://hkmdb.com/db/people/view.mhtml?id=26183&display_set=eng

Kickboxer King [1992] --- NEW credit
https://hkmdb.com/db/movies/view.mhtml?id=15901&display_set=eng

City Hunter [1993] --- NEW credit
https://hkmdb.com/db/movies/view.mhtml?id=7694&display_set=eng

The East Is Red [1993] --- NEW credit
https://hkmdb.com/db/movies/view.mhtml?id=7682&display_set=eng