got my kitty’s ears cleaned and they told me he might have ear mites, is it 100% sure? ☹️ If so, what should I use to help him out?

He’s an Himalayan cat if it matters 😅