ccTLD data moving from RIPE db

Hi all, I followed with some interest the debate in this list regarding ccTLD data being removed from the RIPE db for .de. Then today I got a mail from the .IE domain registry, asking me to remove entries from the RIPE DB for some .ie domains I have. So far so good, except that the .ie domain registry does not have a functional whois database to which we can move this data. If I comply, the data will no longer be accessible from any whois databse. Is this therefore a valid request? Thanks,