@drscriptt having looked at another source I'm not actually sure where that Dec 2001 timestamp is from. It still seems plausible but I'm not at all 100% confident of it. Sometime in the late 90s or early 00s for sure though.