Hi, I have a canadian friend (white guy) who is landing in Delhi and wants to take the train to Agra. I booked tix for him on IRCTC, but keep seeing posts about a "foreign travel quota" that has to be booked at a booking office after producing ticket and visa.

Is that the only way foreigners can book on IR? Or are my IRCTC bookings ok?