Looks like @maxisrael hasn't received any replies!