Is passport number really necessary? Can I change passport details after purchasing Thai Railways tickets?