Hi Tim,
Calman and the D2 are relatively cheap but ideal for home DIY use IMHO.
Is that 4:3, 16:9 diagonal or width? I prefer width since it's easier to calculate area
If he was using the 6" CRT on that screen then he should have plenty of brightness with any fixed pixel display as a comparison (calibrated will reduce the lumens though). The Panny may well be ideal but I always suggest you get a demo just to get an idea of what you're buying. I've not seen one but there are a few reviews out there that may be useful. projectorcentral.com has some interesting stuff although there are better reviews if you want something more technically biased. cine4home.de or.com for example.
The JVC is a great machine and a good step up from his 6" CRT IMHO and in some respects the Panny may be too, but it depends on what his image criteria are.
There are some Crestron programmers around and some of the dealers here may be able to put you in touch with someone who can do it for you, but it's quite expensive IIRC, so going the Pronto route may be more cost effective.
Gary