Something like that, but it could be done ahead of time - receive a bitcoin address & redemption code online, send your coins then ~30mins later go to the machine, enter your redemption code and receive your BTC.
Redemption code could also be a QR code. Put it on your phone & hold it up to the machine.