Nice find, Martin.
I've always thought they were early 19th century British Marines meant to fight the pirates. I'm using them with tricornes as mid to late 18th century British Infantry, but the coat style isn't really right for the time period. I also wish they were a more vibrant red, but I guess their tunics have faded. I'll probably replace mine with a modified version of the new blister pack redcoat.