Sure! And a follow-up: Leaving the non-Schengen area despite rushhour, again through the automated e-gates, took me about 5 minutes. Not saying you should cut it that tight, but 45 minutes might have been a very careful overstatement.