I probably should have, but did not.
I confirmed they leslies does sell the evo robots, at least on their website, and they do service other Polaris/fluidra models, so I’d hope the seemingly reputable folks at marina pool and spa would have been honest with me… and if they were genuinely...