I’m weighing options for a possible trip to Ladakh in June. EU citizen, triple vaccinated in the UK, flying from LHR to DEL and thence to Leh. I seem to understand there shouldn’t be too many issues, correct?