You might look at combining your TEC with a Panda midibeam (or midijet) and a Kenton MIDI USB Host

I will soon be selling one of my MidiJet wireless midi. It is the older model but works great. I'll post it on the patchman for sale forum and eBay. I'll try to remember to let you know (if you are interested).