Thanks for the response - I didn't think that I'd need to immigrate/emigrate if staying non-Schengen.

Anyway, a change of days has made the question moot; different inbound timings mean that I now have either 5 minutes or 2.5 hours, and even I am not going to try the shorter of the two there!