FWIW I found that Wikipedia's comparison chart accurately identifies the remote that come with each model: https://en.wikipedia.org/wiki/Roku#Feature_comparison

Our TCL RokuTV (TCL model 28S3750, Roku model 5119X) has an IR remote that consistently controls other roku devices that were never paired with it so we use the Roku mobile app instead.