Looks like @oldpaul hasn't received any replies!