with others about hardware recommendations.

Right now, it's all mail with the DETER folks. Most of it is our
replies to them.