Mesh devices and IR leds (IRremote)

I was wondering if anyone has already succeeded in using the third-generation Mesh devices with a IR led? I was trying to use the IRremote library but as is pointed out in this thread:
https://community.particle.io/t/error-with-sparkintervaltimer-h/46323
the SparkIntervalTimer.h doesn’t support the Mesh devices. So I’m looking at other options and can’t imagine I’m the only one. My goal is to send / transmit RC6 signals with an IR led connected to a Xenon.