Just for reference, the domain was updated in 2017 and does not expire until 2021. Fortunately, they have lots of time to deal with any technical issues.

From whois...

Updated Date: 2017-02-06
Created Date: 1996-09-05
Registrar Expiration Date: 2021-04-01

Last edited by decaym; 01/22/2018 11:53 AM.