This was still bugging me so I looked it up. Yeah that’s likely a universal remote (works on tvs dvd players and other things) which can also be synced to garage doors by the owner.

I think old mate possibly racked it from someone’s car.