Looks like @benbarbour hasn't received any replies!