I have two HomeKit garage door openers. Siri in iOS 13 CarPlay always helpfully offers me the wrong one.