I went ahead and booked the ticket and it turns out it is very easy to add his number in either their app or website after it is booked, even though they don't let you put it in while booking.