I think that you're right. I know that the bike was bought new in 2020 (and has only done 250 miles since!),and that specification would explain the aftermarket Garmin Speed Controller.
Age seems to have caught up with me so I just sold my Specialized Stumpjumper Carbon Comp and bought a Specialized Levo, but I'm not clear which model as I can't find the same spec on line. It has an 8 speed Acer cassette and there's a peculiar Speed Control, so I'd be grateful if someone could...