Hi!
It hasn’t been developed just yet, no – it’s something we’re investigating rather than something we have already built (if you look at the UserVoice status for that request you can also see it’s only Under Review at this time rather than Completed).
Maybe we could do it ourselves. Is there a way to API in to do the redemption?
I don’t see why not – but it’s really something you’ll need to explore by yourself as it’s a comparatively advanced customization. Each ticketing addon (such as WooCommerce Tickets) does have a publicly accessible checkin() method and that’s likely to be of interest here when you write the code that handles the redemption.
Other than that, I wish you luck – sounds like a fun project 🙂