the receptionist filed another ticket: “My keyboard is missing.”

Impressive. Voice dictation, on-screen keyboard, or they had a help desk that is actually slightly workable on mobile? (The third is imaginary.)

Called them?
You have a more human ticketing system than any I’ve worked with if that’s an option!
Ah I forgot that these days old school contact channels are hidden and all you see are clanker chatbots
Or for modern times it’s a laptop dock so they just opened their laptop and entered the ticket that way
Called and transcribed by the lowest tier help desk tech or call center.