Looks like @mikefriedman hasn't received any replies!