Category talk:Doctor Mario Professionals

Shouldn't this article be named "Dr. Mario Professionals" in line with the article Dr. Mario? 00:33, January 23, 2007 (GMT)