Ended up ordering this key from amazon (affiliate link-click and buy something so I make moneys)
https://amzn.to/400m68A
Plan is to get dealer to program it. Hopefully. They wanted $200 for a new key and $80 to program it if we already had one working one that they could clone. I'll keep you posted how this works out.