Infocus LP280 projector

I know it is another project, but I need to know if our district is still repairing these. Are the bulbs more expensive than the infocus machine itself? Is there a do it yourself repair kit? Can we get a referendum and help Infocus develop this seemingly dead market?