He's playing, and even won a match! I was wondering if he might be in the draw here; it seems he's often played here in the past. I guess he had to use a protected ranking to get in; he's now ranked 336.