Looks like @davidweiss hasn't received any replies yet!