I've tried a lot of different solutions and just wanted to try this one out. I have the rgb-pi, but it's giving me a lot of headache. @PascalP has the rPi2NUC and it works great- also has a nice interface, but unfortunately it's 31khz only, that's why I'm looking for his 15khz version.
I have one that I may be willing to part with - send me a PM and I can work with you on it.
Purchased before the Arpicade was in existence - works very well and has a four player capacity which is what I was looking for at the time.