I've seen Antique a couple of times on Official aswell, so I'm pretty sure he frequents there pretty regulary aswell (also smogon shoddy has the most people by far, if you were trying to find someone wouldn't it be smart to check the server with the huge population?)