I ordered two of these a few months ago but returned them due to the need for massive heat sinks. That was for a much higher current application though. These are perfect for this fix. Thanks for the reminder. Not sure why I didn't think of it. Exhausted from the build most likely. Must. Take. Vacation.
Update: looks like pretty much everything on Amazon is DC to AC or AC to AC. I may try an AC to AC since the current (a buzzer) is so small and 13.8Vdc nominal is also very low; at least one page says the AC output can be 5-60Vdc so it should be fine. But more likely I'll just pony up and get a quality device from digikey. I really like this buzzer idea though. Thanks @brío