Has anyone ever tried running 15kHz modes on a CRT projector ?

I've used Electrohome Marquee 8K's in the past .. but don't have one set up at the moment.
There is a friend that I did an install for with a Sony VPH-1252 ... I'm pondering the idea of Soft15KHz + SFF PC + MAME as an addition to this set up
