Hey Brian,
You could rework that snippet above so that it references similar methods within EDD tickets, but the full customization and testing behind this are a bit outside the scope of support here. The best way to start might be to simply replace TribeWooTickets with TribeEDDTickets – if you make this customization, and have WP_DEBUG active, then any further PHP errors should display on your site. You could then hunt these individual errors down one at a time and update your code to address each error piecemeal until everything [hopefully] works.
Let us know if this information is helpful at all!
Thanks,
George