Is there an official whois server for .ID domains?

Yes, it is whois.pandi.or.id

 

.id Domain Registration.id Whois Search