Multiple Kodi media_player definitions and "Update Kodi Library"

I have several Kodi frontends in my house, an old R-Pi (always on), a Vero 4k (always on), and a desktop (sometimes on).

Kodi’s functionality to update the library takes 15 seconds on the desktop, 2 minutes on the Vero, and long enough that it’s basically infinity on the old R-Pi.

How do I define the “update_library” action in Home Assistant to try the desktop first if it’s available, and to try the Vero next, and to never bother with the R-Pi?

If that’s too difficult, the next-best thing would be to always call on the Vero 4k.

Here’s my configuration.yaml snippet defining the Kodi frontends:

  - platform: kodi
    name: Desktop
  - platform: kodi
    name: Vero4k
  - platform: kodi
    name: Tonks

And here’s my scripts.yaml snippet where update_library is defined:

  alias: Update Kodi Library
    - alias: Call Kodi update
      service: media_player.kodi_call_method
        entity_id: media_player.kodi
        method: VideoLibrary.Scan

Thanks in advance!